Reachability for linear hybrid automata using iterative relaxation abstraction
Conference
Jha, Sumit K, Krogh, Bruce H, Weimer, James E et al. (2007). Reachability for linear hybrid automata using iterative relaxation abstraction
. EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 4416 287-+.
Jha, Sumit K, Krogh, Bruce H, Weimer, James E et al. (2007). Reachability for linear hybrid automata using iterative relaxation abstraction
. EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 4416 287-+.