Login / Signup
On-the-Fly Reachability and Cycle Detection for Recursive State Machines.
Rajeev Alur
Swarat Chaudhuri
Kousha Etessami
P. Madhusudan
Published in:
TACAS (2005)
Keyphrases
</>
state machines
state machine
object detection
detection algorithm
petri net
state space
video sequences