Incremental Language Inclusion Checking for Networks of Timed Automata.
Willibald KrennDejan NickovicLoredana TecPublished in: FORMATS (2013)
Keyphrases
- timed automata
- model checking
- theorem prover
- reachability analysis
- network analysis
- programming language
- data driven
- information retrieval
- network design
- computer networks
- language learning
- first order logic
- complex systems
- high level
- social networks
- complex networks
- incremental learning
- expert systems
- knowledge base
- real time systems
- consistency checking
- data sets