SpaceEx State Space Explorer

SpaceEx Development Team

The following people are part of the SpaceEx project:

Goran Frehse
Verimag Project Leader
Olivier Lebeltel
Verimag Model Editor
Stefano Minopoli
Verimag Analysis Core & Algorithms, Model Translation
Oded Maler Verimag Scientific Advisor

 

Former Contributors

Alexandre Donzé
Verimag Analysis Core & Algorithms
Antoine Girard L2S-CNRS Analysis Algorithms
Colas Le Guernic DGA-MI Analysis Algorithms
Rodolfo Ripado
Verimag Web Interface
Scott CottonVerimagAnalysis Core & Modeling Language
Rajat KatejaVerimagPiecewise Linear Functions
Rajarshi Ray
Verimag Analysis Core & Algorithms
Manish Goyal
Verimag Parsers