Axelerator |
---|
Safety Verification via Abstract Acceleration |
Benchmarks for building automation systems |
---|
Benchmarks for cyber-physical systems: A modular model library for buildings automation |
DSSynth |
---|
Automated Digital Controller Synthesis for Physical Plants (DSSynth) |
FAUST2 |
---|
Formula-based Abstraction of Stochastic Systems (FAUST^2, with S.E.Z. Soudjani) |
Fault Maintenance Trees |
---|
Probabilistic model checking of Fault Maintenance Trees via PRISM |
StocHy |
---|
Automated verification and synthesis of stochastic processes (StocHy, with N. Cauchi)
|
VERISIMPL |
---|
Finite Abstraction of MPL models (VeriSiMPL, with D. Adzkiya) |
Safe PILCO |
---|
Safe and efficient policy synthesis for Gaussian models (with K. Polymenakos) |
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767