TY  - RPRT
TI  - Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
AU  - Sasinee Pruekprasert
AU  - Clovis Eberhart
AU  - Jérémy Dubut
PY  - 2020
UR  - https://arxiv.org/abs/2010.11663
ID  - 2010.11663
ER  -