Multi-Robot LTL Planning Under Uncertainty

Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Jana Tumova
January 2018
Type
Conference paper
Publication
22nd International Symposium on Formal Methods (FM)