Software
| 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 |
| FOSSIL |
|---|
|
Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks |
| 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) |
GET IN TOUCH WITH US
CONTACT US
Oxford Control and Verification (OXCAV) Group
C/O Department of Computer Science
Wolfson Building, Parks Rd, Oxford OX1 3QD
T: +44 (0) 18656 10767
Education - This is a contributing Drupal Theme
Design by WeebPal.
Design by WeebPal.