TY  - RPRT
TI  - Linear Temporal Logic for Hybrid Dynamical Systems: Characterizations and Sufficient Conditions
AU  - Hyejin Han
AU  - Ricardo G. Sanfelice
PY  - 2020
UR  - https://arxiv.org/abs/1807.02574
ID  - 1807.02574
ER  -