@inproceedings{ahmadi2020barrier,
title={Barrier functions for multiagent-pomdps with dtl specifications},
author={Ahmadi, Mohamadreza and Singletary, Andrew and Burdick, Joel W and Ames, Aaron D},
booktitle={2020 59th IEEE Conference on Decision and Control (CDC)},
pages={1380--1385},
year={2020},
organization={IEEE},
url = {http://ames.caltech.edu/ahmadi2020barrier.pdf},
url_video = {https://www.youtube.com/watch?v=7VyF7P-oM9I}
}