32 citations · 88 across the 33 of their papers we have counts for
Showing 2024 · cs.ROShow all
2 papers · 2 filters
cs.RO2024
STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
Shuo Yang, Hongrui Zheng, Cristian-Ioan Vasile +2
We study how to synthesize a robust and safe policy for autonomous systems under signal temporal logic (STL) tasks in adversarial settings against unknown dynamic agents. To ensure…
cs.RO2024
Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
Disha Kamale, Cristian-Ioan Vasile
In this work, we address the problem of control synthesis for a homogeneous team of robots given a global temporal logic specification and formal user preferences for relaxation in…