COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic
Published in Quantitative Evaluation of Systems (QEST), 2011
Paolo Ballarini
Associate Professor (MCF HDR) in Computer Science
- Gif-sur-Yvette, France
- CentraleSupélec, Univ. Paris-Saclay — MICS Laboratory · Head of the Computer Science Department
- Google Scholar
- ORCID