Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Huriot, Sacha"'
Autor:
Huriot, Sacha, Sibai, Hussein
We address the challenge of safe control in decentralized multi-agent robotic settings, where agents use uncertain black-box models to predict other agents' trajectories. We use the recently proposed conformal decision theory to adapt the restrictive
Externí odkaz:
http://arxiv.org/abs/2409.18862
We propose an efficient symbolic control synthesis algorithm for equivariant continuous-time dynamical systems to satisfy reach-avoid specifications. The algorithm exploits dynamical symmetries to construct lean abstractions to avoid redundant comput
Externí odkaz:
http://arxiv.org/abs/2403.11816