Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications

Autor:	Franck Djeumou, Zhe Xu, Ufuk Topcu
Rok vydání:	2020
Předmět:	Theoretical computer science Computer science Probabilistic logic Swarm behaviour Graph (abstract data type) Temporal logic
Zdroj:	Robotics: Science and Systems
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4334439b3ef31161a828dca163c560f6 https://doi.org/10.15607/rss.2020.xvi.058 Zobrazit plný text záznamu