Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata (2003)

by Ronojoy Ghosh , Ashish Tiwari , Claire Tomlin
Venue:Lecture Notes in Computer Science
Citations:29 - 2 self