Pubblicazioni

Safe Reach Set Computation via Neural Barrier Certificates

2024 - Proceedings of the 8th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2024
Abate, Alessandro; Bogomolov, Sergiy; Edwards, Alec; Potomkin, Kostiantyn; Soudjani, Sadegh; Zuliani, Paolo

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties

2023 - Multi-Agent Systems. 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023. Proceedings
Aminof, B.; De Giacomo, G.; Di Stasio, A.; Francon, H.; Rubin, S.; Zhu, S.

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma