TY  - RPRT
TI  - Satisfaction of linear temporal logic specifications through recurrence tools for hybrid systems
AU  - Andrea Bisoffi
AU  - Dimos V. Dimarogonas
PY  - 2020
DO  - 10.1109/tac.2020.2984724
UR  - https://arxiv.org/abs/2011.07149
ID  - 2011.07149
ER  -