Rajeev Alur, Salar Moarref, Ufuk Topcu. Compositional and symbolic synthesis of reactive controllers for multi-agent systems. Inf. Comput., 261(Part):616-633, 2018. [doi]
@article{AlurMT18,
title = {Compositional and symbolic synthesis of reactive controllers for multi-agent systems},
author = {Rajeev Alur and Salar Moarref and Ufuk Topcu},
year = {2018},
doi = {10.1016/j.ic.2018.02.021},
url = {https://doi.org/10.1016/j.ic.2018.02.021},
researchr = {https://researchr.org/publication/AlurMT18},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {261},
number = {Part},
pages = {616-633},
}