Model Checking Failure-Prone Open Systems Using Probabilistic Automata.
Yue BenA. Prasad SistlaPublished in: ATVA (2015)
Keyphrases
- model checking
- open systems
- probabilistic automata
- finite automata
- temporal logic
- finite state automata
- finite state machines
- autonomous agents
- model checker
- markov chain
- relative entropy
- formal verification
- formal specification
- symbolic model checking
- automated verification
- computation tree logic
- multiagent systems
- epistemic logic
- formal methods
- mobile communication
- bounded model checking
- cognitive agents
- verification method
- artificial intelligence
- regular expressions
- search algorithm
- information theoretic
- state space
- cooperative
- multi agent
- social networks