Search Results - "Ilyes, Roland B."
-
1
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
Published in 2023 IEEE International Conference on Robotics and Automation (ICRA) (29-05-2023)“…In this work, we present a novel robustness measure for continuous-time stochastic trajectories with respect to Signal Temporal Logic (STL) specifications. We…”
Get full text
Conference Proceeding -
2
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
Published in 2022 IEEE 61st Conference on Decision and Control (CDC) (06-12-2022)“…This paper presents an algorithmic framework for control synthesis for continuous dynamical systems subject to signal temporal logic (STL) specifications. We…”
Get full text
Conference Proceeding -
3
Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
Published 10-10-2022“…In this work, we present a novel robustness measure for continuous-time stochastic trajectories with respect to Signal Temporal Logic (STL) specifications. We…”
Get full text
Journal Article -
4
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
Published 07-07-2022“…This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications. We…”
Get full text
Journal Article