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:38 - 2 self