Expand All
Safety Verification via Abstract Acceleration
Link
Benchmarks for cyber-physical systems: A modular model library for buildings automation
Automated Digital Controller Synthesis for Physical Plants (DSSynth)
Probabilistic model checking of Fault Maintenance Trees via PRISM
Formula-based Abstraction of Stochastic Systems (FAUST^2, with S.E.Z. Soudjani)
Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks
Link to git
Please also our HSCC21 paper
A Python Library for Causal Influence Diagrams
Safe and efficient policy synthesis for Gaussian models (with K. Polymenakos)
Automated verification and synthesis of stochastic processes (StocHy, with N. Cauchi)
Finite Abstraction of MPL models (VeriSiMPL, with D. Adzkiya)
