TY  - RPRT
TI  - Certifying the LTL Formula p Until q in Hybrid Systems
AU  - Hyejin Han
AU  - Mohamed Maghenem
AU  - Ricardo G. Sanfelice
PY  - 2022
UR  - https://arxiv.org/abs/2106.06455
ID  - 2106.06455
ER  -