Conference Papers

Hybrid abstractions that preserve timed languages

Paulo Tabuada | G. J. Pappas

in Hybrid Systems: Computation and Control, Fourth International Workshop, Rome, Italy