TY  - RPRT
TI  - Control of Rate-Bounded Hybrid Systems with Liveness Specifications
AU  - Heymann, Michael
AU  - Lin, Feng
AU  - Meyer, George
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/20050180821
ID  - 20050180821
ER  -