Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation).
Étienne AndréCamille CotiHoang Gia NguyenPublished in: SynCoP (2015)
Keyphrases
- timed automata
- model checking
- distributed systems
- reachability analysis
- distributed environment
- multi agent
- cooperative
- theorem prover
- machine learning
- communication overhead
- real time systems
- distributed architecture
- distributed database systems
- computer graphics
- peer to peer
- learning algorithm
- genetic algorithm
- data sets
- fault tolerant
- distributed network
- databases
- distributed data
- distributed computing
- database systems
- multimedia