Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.
Patricia BouyerFrançois LaroussiniePierre-Alain ReynierPublished in: FORMATS (2005)
Keyphrases
- timed automata
- statistical analysis
- model checking
- computer systems
- data sets
- information retrieval
- management system
- constrained optimization
- complex systems
- reachability analysis
- theorem prover
- quantitative analysis
- retrieval systems
- intelligent systems
- distributed systems
- low cost
- artificial intelligence
- machine learning