Claudio Menghi, Sergio García 0002, Patrizio Pelliccione, Jana Tumova
Multi-robot LTL Planning Under Uncertainty
FM, 2018.
@inproceedings{FM-2018-MenghiGPT,
author = "Claudio Menghi and Sergio García 0002 and Patrizio Pelliccione and Jana Tumova",
booktitle = "{Proceedings of the 22nd International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-95582-7_24",
isbn = "['978-3-319-95581-0', '978-3-319-95582-7']",
pages = "399--417",
publisher = "{Springer}",
title = "{Multi-robot LTL Planning Under Uncertainty}",
year = 2018,
}
Tags: