Login / Signup
Symmetry Reduction for SAT Representations of Transition Systems.
Jussi Rintanen
Published in:
ICAPS (2003)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
model checker
search algorithm
control flow
software engineering
optimal policy
reactive systems