AAAI 2023technical0 citations
Safe Interactive Autonomy for Multi-Agent Systems
Abstract
It is envisioned that in the near future autonomous systems such as multi-agent systems, will co-exist with humans, e.g., autonomous vehicles will share roads with human drivers. These safety-critical scenarios require formally provable safety guarantees so that the robots will never collide with humans or with each other. It is challenging to provide such guarantees in the real world due to the stochastic environments and inaccurate models of heterogeneous agents including robots and humans. My PhD research investigates decision-making algorithm design for provably-correct safety guarantees in mixed multi-agent systems.
BibTeX
@article{Lyu_2024, title={Safe Interactive Autonomy for Multi-Agent Systems}, volume={37}, url={https://ojs.aaai.org/index.php/AAAI/article/view/26922}, DOI={10.1609/aaai.v37i13.26922}, abstractNote={It is envisioned that in the near future autonomous systems such as multi-agent systems, will co-exist with humans, e.g., autonomous vehicles will share roads with human drivers. These safety-critical scenarios require formally provable safety guarantees so that the robots will never collide with humans or with each other. It is challenging to provide such guarantees in the real world due to the stochastic environments and inaccurate models of heterogeneous agents including robots and humans. My PhD research investigates decision-making algorithm design for provably-correct safety guarantees in mixed multi-agent systems.}, number={13}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Lyu, Yiwei}, year={2024}, month={Jul.}, pages={16123-16124} }