Research output per year
Research output per year
Search results
-
2022
Neural Abstractions
Abate, A., Edwards, A. & Giacobbe, M., 9 Dec 2022, Advances in Neural Information Processing Systems 35 (NeurIPS 2022). Koyejo, S., Mohamed, S., Agarwal, A., Belgrave, D., Cho, K. & Oh, A. (eds.). NeurIPS, (Advances in neural information processing systems; vol. 35).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2021
FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks
Abate, A., Ahmed, D., Edwards, A., Giacobbe, M. & Peruffo, A., 19 May 2021, HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery (ACM), 11 p. 24Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Learning Probabilistic Termination Proofs
Abate, A., Giacobbe, M. & Roy, D., 17 Jul 2021, Computer Aided Verification: 3rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Silva, A. & Leino, K. R. M. (eds.). 1 ed. Cham: Springer, p. 3–26 24 p. (Theoretical Computer Science and General Issues; vol. 12760).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile25 Downloads (Pure) -
Shielding atari games with bounded prescience
Giacobbe, M., Hasanbeig, M., Kroening, D. & Wijk, H., 3 May 2021, AAMAS '21: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems. International Foundation for Autonomous Agents and Multiagent Systems, p. 1507–1509 3 p. (AAMAS Conference proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Verifying reinforcement learning up to infinity
Bacci, E., Giacobbe, M. & Parker, D., 27 Aug 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence: Montreal, 19-27 August 2021. Zhou, Z-H. (ed.). International Joint Conferences on Artificial Intelligence Organization (IJCAI), p. 2154-2160 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile192 Downloads (Pure) -
2019
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., 2019, EPiC Series in Computing.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution