Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications.

Sasinee Pruekprasert, Clovis Eberhart, Jrmy Dubut

Browse the full ICARCV paper archive.