Software

Expand All

Safety Verification via Abstract Acceleration

Link

Benchmarks for cyber-physical systems: A modular model library for buildings automation

Link

Automated Digital Controller Synthesis for Physical Plants (DSSynth)

Link

Probabilistic model checking of Fault Maintenance Trees via PRISM

Link

Formula-based Abstraction of Stochastic Systems (FAUST^2, with S.E.Z. Soudjani)

Link

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 

Link to git

Safe and efficient policy synthesis for Gaussian models (with K. Polymenakos)

Link

 

Automated verification and synthesis of stochastic processes (StocHy, with N. Cauchi)

Link

 

 

Link

 

 

 

 

Finite Abstraction of MPL models (VeriSiMPL, with D. Adzkiya)

Link