Towards Verifying a Blocks World for Teams GOAL Agent

Autor:	Alexander Birch Jensen
Rok vydání:	2021
Předmět:	Computer science business.industry Blocks world Software engineering business Formal verification
Zdroj:	ICAART (1) Technical University of Denmark Orbit
DOI:	10.5220/0010268303370344
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15eb87aec6f334d5fe2e25a85309ddea https://doi.org/10.5220/0010268303370344 Zobrazit plný text záznamu