On Boolean Encodings of Transition Relation for Parallel Compositions of Transition Systems.

Andrzej Zbrzezny

Published in: CS&P (2013)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
orders of magnitude
learning algorithm
planning problems
boolean functions
formal specification
artificial intelligence
dynamic programming
formal verification
fully observable