Multi-timed Bisimulation for Distributed Timed Automata.
James Jerson OrtizMoussa AmraniPierre-Yves SchobbensPublished in: NFM (2017)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- first order logic
- distributed systems
- real time systems
- cooperative
- multi agent
- distributed environment
- data sets
- computer networks
- fault tolerant
- artificial intelligence
- temporal logic
- lightweight
- distributed architecture
- distributed learning
- distributed network
- peer to peer