Preprint Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions Autor(es): Forets, Marcelo - Freire, Daniel - Schilling, Christian
Fecha de publicación: 2020
Institución: Universidad de la República
Otros Autores: