4 papers
Certified Guidance for Planning with Deep Generative Models
Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti +1
Deep generative models, such as generative adversarial networks and diffusion models, have recently emerged as powerful tools for planning tasks and behavior synthesis in autonomou…
Neural Predictive Monitoring under Partial Observability
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
We consider the problem of predictive monitoring (PM), i.e., predicting at runtime future violations of a system from the current state. We work under the most realistic settings w…
Abstraction of Markov Population Dynamics via Generative Adversarial Nets
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
Markov Population Models are a widespread formalism used to model the dynamics of complex systems, with applications in Systems Biology and many other fields. The associated Markov…
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone +2
We introduce a novel learning-based approach to synthesize safe and robust controllers for autonomous Cyber-Physical Systems and, at the same time, to generate challenging tests. T…