Probabilistic Automata for Safety LTL Specifications.
Dileep KiniMahesh ViswanathanPublished in: VMCAI (2014)
Keyphrases
- probabilistic automata
- bounded model checking
- finite automata
- model checking
- transition systems
- relative entropy
- markov chain
- temporal logic
- formal verification
- finite state automata
- sound theoretical
- linear temporal logic
- finite state machines
- grammatical inference
- relational databases
- regular expressions
- information theoretic
- multi class
- state space