323 citations · 353 across the 15 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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
Bridging the Gap between Discrete Agent Strategies in Game Theory and Continuous Motion Planning in Dynamic Environments
Hongrui Zheng, Zhijun Zhuang, Stephanie Wu +2
Generating competitive strategies and performing continuous motion planning simultaneously in an adversarial setting is a challenging problem. In addition, understanding the intent…