Fingerprint
Dive into the research topics where Sergio Mover is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
RECONCILING SPATIAL AND TEMPORAL ABSTRACTIONS FOR GOAL REPRESENTATION
Zadem, M., Mover, S. & Nguyen, S. M., 1 Jan 2024.Research output: Contribution to conference › Paper › peer-review
-
Stability Verification of an Industrial Switched PI Control Systems
Basagiannis, S., Battista, L., Becchi, A., Cimatti, A., Giantamidis, G., Mover, S., Tacchella, A., Tonetta, S. & Tsachouridis, V., 1 Jan 2024, In: EPiC Series in Computing. 103, p. 145-152 8 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis
Zadem, M., Mover, S. & Nguyen, S. M., 1 Jan 2023, 2023 IEEE International Conference on Development and Learning, ICDL 2023. Institute of Electrical and Electronics Engineers Inc., p. 423-428 6 p. (2023 IEEE International Conference on Development and Learning, ICDL 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Historia: Refuting Callback Reachability with Message-History Logics
Meier, S., Mover, S., Kaki, G. & Chang, B. Y. E., 16 Oct 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 289.Research output: Contribution to journal › Article › peer-review
Open Access -
Preface
Sankaranarayanan, S., Sharygina, N., Fedyukovich, G., Mover, S. & Beyer, D., 1 Jan 2023, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13994 LNCS, p. vii-viiiResearch output: Contribution to journal › Editorial
-
Preface
Sankaranarayanan, S., Sharygina, N., Fedyukovich, G., Mover, S. & Beyer, D., 1 Jan 2023, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13993 LNCS, p. v-viiiResearch output: Contribution to journal › Editorial
-
SMT-Based Stability Verification of an Industrial Switched PI Control Systems
Basagiannis, S., Battista, L., Becchi, A., Cimatti, A., Giantamidis, G., Mover, S., Tacchella, A., Tonetta, S. & Tsachouridis, V., 1 Jan 2023, Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Institute of Electrical and Electronics Engineers Inc., p. 243-250 8 p. (Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Verification modulo theories
Cimatti, A., Griggio, A., Mover, S., Roveri, M. & Tonetta, S., 1 Jun 2022, In: Formal Methods in System Design. 60, 3, p. 452-481 30 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
Mover, S., Cimatti, A., Griggio, A., Irfan, A. & Tonetta, S., 1 Jan 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 529-551 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Arch-comp19 category report: Hybrid systems with piecewise constant dynamics
Frehse, G., Abate, A., Adzkiya, D., Becchi, A., Bu, L., Cimatti, A., Giacobbe, M., Griggio, A., Mover, S., Mufid, M. S., Riouak, I., Tonetta, S. & Zaffanella, E., 1 Jan 2019, In: EPiC Series in Computing. 61, p. 1-13 13 p.Research output: Contribution to journal › Conference article › peer-review
Open Access