Distributed reachability analysis in timed automata.
Gerd BehrmannPublished in: Int. J. Softw. Tools Technol. Transf. (2005)
Keyphrases
- reachability analysis
- timed automata
- model checking
- theorem prover
- markov decision processes
- distributed systems
- distributed environment
- theorem proving
- real time systems
- incremental algorithms
- state space
- first order logic
- peer to peer
- temporal logic
- cooperative
- mobile agents
- multi agent
- random walk
- search algorithm