The power of reachability testing for timed automata.
Luca AcetoPatricia BouyerAugusto BurgueñoKim Guldstrand LarsenPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- power consumption
- first order logic
- state space
- test cases
- test generation
- reinforcement learning
- machine learning
- transitive closure
- software testing
- theorem proving
- low cost
- database
- software systems
- knowledge base
- e learning
- decision making
- information systems
- artificial intelligence