Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.

Ronojoy Ghosh Ashish Tiwari Claire J. Tomlin

Published in: HSCC (2003)

Keyphrases

reachability analysis
semi automated
high level
state space
low cost
real valued
timed automata