TY  - RPRT
TI  - Barrier Function-based Distributed Symbolic Controller for Multi-Agent Systems
AU  - David Smith Sundarsingh
AU  - Ratnangshu Das
AU  - Adnane Saoud
AU  - Pushpak Jagtap
PY  - 2023
UR  - https://arxiv.org/abs/2304.01652
ID  - 2304.01652
ER  -