Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions.

Marcelo Forets, Daniel Freire, Christian Schilling

Browse the full MEMOCODE paper archive.