Finding reachable states of finite-state concurrent systems.
Gregory B. TitusAllan M. StavelyPublished in: J. Syst. Softw. (1989)
Keyphrases
- finite state
- concurrent systems
- model checking
- transition systems
- temporal logic
- markov chain
- initial state
- formal specification
- process algebra
- optimal policy
- distributed systems
- markov decision processes
- partially observable markov decision processes
- petri net
- average cost
- transition probabilities
- policy iteration
- context free
- tree automata
- model checker
- finite state transducers
- state space