Automated Deduction of Finite-State Control Programs for Reactive Systems.
Robi MalikPublished in: CADE (1998)
Keyphrases
- finite state
- automated deduction
- reactive systems
- model checking
- markov chain
- temporal logic
- transition systems
- optimal policy
- theorem proving
- markov decision processes
- theorem prover
- control flow
- logic programming
- high level
- tree automata
- partially observable markov decision processes
- formal methods
- optimal control
- deductive databases
- business process
- information systems
- probabilistic context free grammars