Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Michael P. Spathopoulos

On Weighted Time-Optimal Control for Linear Hybrid Automata Using Quantifier Elimination

IFAC Proceedings Volumes

English