TY  - RPRT
TI  - Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications
AU  - Sasinee Pruekprasert
AU  - Clovis Eberhart
AU  - Jérémy Dubut
PY  - 2021
UR  - https://arxiv.org/abs/2103.16122
ID  - 2103.16122
ER  -