A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control

9 June 2020

Papers citing "A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control"

4 / 4 papers shown

Title
Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow Xuan Lin Jiming Ren Samuel Coogan Ye Zhao 43 0 0 27 Sep 2024
A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study Giuseppe Silano Alvaro Caballero D. Liuzza L. Iannelli Stjepan Bogdan Martin Saska 68 3 0 18 Sep 2024
Requirement falsification for cyber-physical systems using generative models J. Peltomäki Ivan Porres 44 6 0 31 Oct 2023
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications N. Mehdipour C. Vasile C. Belta 21 92 0 12 Mar 2019