1 citations · 1 across the 4 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Ro-To-Go! Robust Reactive Control with Signal Temporal Logic
Roland Ilyes, Lara Brudermüller, Nick Hawes +1
Signal Temporal Logic (STL) robustness is a common objective for optimal robot control, but its dependence on history limits the robot's decision-making capabilities when used in M…
eess.SY2022★ 1 cited
Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg +1
This paper presents an algorithmic framework for control synthesis of continuous dynamical systems subject to signal temporal logic (STL) specifications. We propose a novel algorit…