Distributed Timed Automata with Independently Evolving Clocks.
S. AkshayBenedikt BolligPaul GastinMadhavan MukundK. Narayan KumarPublished in: Fundam. Informaticae (2014)
Keyphrases
- timed automata
- model checking
- distributed systems
- distributed environment
- cooperative
- reachability analysis
- multiple independent
- lightweight
- real time systems
- mobile agents
- theorem prover
- loosely coupled
- data sets
- low cost
- database
- first order logic
- reinforcement learning
- web services
- knowledge base
- search engine
- information retrieval