TReX: A Tool for Reachability Analysis of Complex Systems.
Aurore AnnichiniAhmed BouajjaniMihaela SighireanuPublished in: CAV (2001)
Keyphrases
- complex systems
- reachability analysis
- development environment
- dynamic systems
- quality assurance
- manufacturing systems
- biological systems
- mathematical models
- markov decision processes
- data management
- timed automata
- physical systems
- incremental algorithms
- model checking
- multi agent systems
- discrete event systems
- complex adaptive systems
- agent based modelling