Better Quasi-Ordered Transition Systems

Parosh Aziz Abdulla Aletta Nylén

Published in: CoRR (2004)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
model checker
data flow
reactive systems
formal verification
reinforcement learning
markov chain
markov decision processes
formal specification
description language