Pubblicazioni

A Conversational Framework for Faithful Multi-perspective Analysis of Production Systems

2025 - Advanced Information Systems Engineering
Casciani, Angelo; Lestingi, Livia; Marrella, Andrea; Matta, Andrea

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures

2024 - THE JOURNAL OF SYSTEMS AND SOFTWARE
Picchiami, Leonardo; Parmentier, Maxime; Legay, Axel; Mancini, Toni; Tronci, Enrico

Improving parity games in practice

2021 - ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Di Stasio, Antonio; Murano, Aniello; Prignano, Vincenzo; Sorrentino., Loredana

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

2021 - IJCAI
De Giacomo, Giuseppe; Di Stasio, Antonio; Tabajara, Lucas M.; Vardi, Moshe; Zhu, Shufang

On checking equivalence of simulation scripts

2021 - THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E.

Multi-player games with LDL goals over finite traces

2020 - INFORMATION AND COMPUTATION
Gutierrez, J.; Perelli, G.; Wooldridge, M.

On minimising the maximum expected verification time

2017 - INFORMATION PROCESSING LETTERS
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico

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