Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
RECONCILING SPATIAL AND TEMPORAL ABSTRACTIONS FOR GOAL REPRESENTATION
Zadem, M., Mover, S. & Nguyen, S. M., 1 janv. 2024.Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs
-
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 janv. 2024, Dans: EPiC Series in Computing. 103, p. 145-152 8 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert -
Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis
Zadem, M., Mover, S. & Nguyen, S. M., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Historia: Refuting Callback Reachability with Message-History Logics
Meier, S., Mover, S., Kaki, G. & Chang, B. Y. E., 16 oct. 2023, Dans: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 289.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Preface
Sankaranarayanan, S., Sharygina, N., Fedyukovich, G., Mover, S. & Beyer, D., 1 janv. 2023, Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13993 LNCS, p. v-viiiRésultats de recherche: Contribution à un journal › Éditorial
-
Preface
Sankaranarayanan, S., Sharygina, N., Fedyukovich, G., Mover, S. & Beyer, D., 1 janv. 2023, Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13994 LNCS, p. vii-viiiRésultats de recherche: Contribution à un journal › Éditorial
-
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 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Verification modulo theories
Cimatti, A., Griggio, A., Mover, S., Roveri, M. & Tonetta, S., 1 juin 2022, Dans: Formal Methods in System Design. 60, 3, p. 452-481 30 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems
Mover, S., Cimatti, A., Griggio, A., Irfan, A. & Tonetta, S., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
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 janv. 2019, Dans: EPiC Series in Computing. 61, p. 1-13 13 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
Accès ouvert