Alessandro Abate - Software

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks (FOSSIL, with A. Edwards)
GitHub page (v1.0), article (v1.0), article (v2.0)

Safe and data-efficient policy synthesis (SafePILCO, with K. Polymenakos)
GitHub page (v1.0), article (v1.0)

Stochastic Hybrid Models (StocHy, with N. Cauchi)
GitHub page (v1.0), article (v1.0)

Formula-based Abstraction of Stochastic Systems (FAUST^2, with S.E.Z. Soudjani)
Sourceforge page v1.0, article (v1.0)

Finite Abstraction of MPL models (VeriSiMPL, with D. Adzkiya)
Sourceforge page, internal page, article (v1.3) and article (v2.0)

Automated Digital Controller Synthesis for Physical Plants (DSSynth)
GitHub page

Safety Verification via Abstract Acceleration (Axelerator, with D. Cattaruzza)
live page

Basic computation of probabilistic reachability (not maintained)
link to files

More details on my Research Group page: Oxford Control and Verification (OXCAV)