Finite-state controllers of POMDPs via parameter synthesis

Autor:	Junges, J.S.L., Jansen, N.H., Wimmer, R., Quatmann, T., Winterer, L., Katoen, J.-P., Becker, B., Globerson, A.
Přispěvatelé:	Globerson, A.
Předmět:	Software Science
Zdroj:	Scopus-Elsevier Globerson, A. (ed.), Uncertainty in Artificial Intelligence: Thirty-Fourth Conference (2018) August 6-10, 2018, Monterey, California, USA, 519-529. Corvallis : AUAI Press STARTPAGE=519;ENDPAGE=529;TITLE=Globerson, A. (ed.), Uncertainty in Artificial Intelligence: Thirty-Fourth Conference (2018) August 6-10, 2018, Monterey, California, USA Globerson, A. (ed.), Uncertainty in Artificial Intelligence: Thirty-Fourth Conference (2018) August 6-10, 2018, Monterey, California, USA, pp. 519-529
Popis:	Contains fulltext : 199869.pdf (Author’s version preprint ) (Open Access) Uncertainty in Artificial Intelligence: Thirty-Fourth Conference (2018) August 6-10, 2018, Monterey, California, USA
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ab025ad539697aa19da87dc295ef0952 http://www.scopus.com/inward/record.url?eid=2-s2.0-85053107000&partnerID=MN8TOARS Zobrazit plný text záznamu