Symbolic Unfoldings for Networks of Timed Automata.
Franck CassezThomas ChatainClaude JardPublished in: ATVA (2006)
Keyphrases
- timed automata
- model checking
- theorem prover
- reachability analysis
- social networks
- connectionist networks
- community structure
- community detection
- first order logic
- real time
- theorem proving
- heterogeneous networks
- website
- artificial intelligence
- neural network
- computer networks
- graphical models
- high level
- network model
- symbolic representation
- network design
- network parameters