Formal verification of distributed controllers using Time-Stamped Event Count Automata.
Matthias KauerSebastian SteinhorstDip GoswamiReinhard SchneiderMartin LukasiewyczSamarjit ChakrabortyPublished in: ASP-DAC (2013)
Keyphrases
- time stamped
- formal verification
- temporal patterns
- model checking
- news articles
- automated verification
- symbolic model checking
- model checker
- bounded model checking
- temporal constraints
- event sequences
- reinforcement learning
- description language
- information retrieval
- mobile agents
- knowledge discovery
- data structure
- knowledge base
- artificial intelligence