BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees

Autor:	Bernard Serbinowski, Taylor T. Johnson
Rok vydání:	2022
Zdroj:	Software Engineering and Formal Methods ISBN: 9783031171079
DOI:	10.1007/978-3-031-17108-6_19
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9f46fa52dffa74f534e07232ad4daa44 https://doi.org/10.1007/978-3-031-17108-6_19 Zobrazit plný text záznamu