Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata.

Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa

Browse the full FedCSIS paper archive.