Signal Temporal Logic Meets Reachability: Connections and Applications

von Chen, Mo
Veröffentlicht in Workshop on the Algorithmic Foundations of Robotics (13. : 2018 : Merida, Mexiko) Algorithmic foundation of robotics XIII (2020)