TY - RPRT TI - Safe Policy Synthesis in Multi-Agent POMDPs via Discrete-Time Barrier Functions AU - Mohamadreza Ahmadi AU - Andrew Singletary AU - Joel W. Burdick AU - Aaron D. Ames PY - 2019 UR - https://arxiv.org/abs/1903.07823 ID - 1903.07823 ER -