Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications

Sasinee Pruekprasert, Clovis Eberhart, Jérémy Dubut

We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications…