Login / Signup
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines.
Petra Kaufmann
Martin Kronegger
Andreas Pfandler
Martina Seidl
Magdalena Widl
Published in:
MoDeVVa@MoDELS (2013)
Keyphrases
</>
state machines
reachability analysis
state space
state machine
planning problems
real time
genetic algorithm
artificial intelligence
reinforcement learning
petri net