Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems

Autor:	Gustavo A. Cardona, Cristian-Ioan Vasile
Rok vydání:	2022
Zdroj:	Algorithmic Foundations of Robotics XV ISBN: 9783031210891
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::36b7248daa614934e412919da7ae3e02 https://doi.org/10.1007/978-3-031-21090-7_14 Zobrazit plný text záznamu