Login / Signup
Transition Systems and Automata.
Julian Brunner
Published in:
Arch. Formal Proofs (2017)
Keyphrases
</>
transition systems
finite state
model checking
markov chain
temporal logic
concurrent systems
markov decision processes
practical reasoning
optimal policy
control flow
formal verification
state space
formal specification
partially observable markov decision processes
model checker