Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Cubuktepe, M."'
Publikováno v:
Yang, Q. (ed.), AAAI-21: Proceedings, Thirty-Fifth AAAI Conference on Artificial Intelligence, 11792-11800. Palo Alto : AAAI Press
STARTPAGE=11792;ENDPAGE=11800;TITLE=Yang, Q. (ed.), AAAI-21: Proceedings, Thirty-Fifth AAAI Conference on Artificial Intelligence
STARTPAGE=11792;ENDPAGE=11800;TITLE=Yang, Q. (ed.), AAAI-21: Proceedings, Thirty-Fifth AAAI Conference on Artificial Intelligence
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::10aa8534d16238c9a3d2dc0b56e4ff02
http://hdl.handle.net/2066/236602
http://hdl.handle.net/2066/236602
Publikováno v:
Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 160-176
Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, 160-176. Cham : Springer International Publishing
STARTPAGE=160;ENDPAGE=176;ISSN=0302-9743;TITLE=Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, 160-176. Cham : Springer International Publishing
STARTPAGE=160;ENDPAGE=176;ISSN=0302-9743;TITLE=Lahiri, S. (ed.), Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Contains fulltext : 197721.pdf (Author’s version preprint ) (Closed access) Contains fulltext : 197721pub.pdf (Publisher’s version ) (Closed access) Communicating multi-pushdown systems model networks of multi-threaded recursive programs communic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2053c74b19aa557a7b04f29afb71c006
https://hdl.handle.net/2066/197721
https://hdl.handle.net/2066/197721
Publikováno v:
IJCAI
Bessiere, C. (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan, 4113-4120. S.l. : International Joint Conferences on Artificial Intelligence
STARTPAGE=4113;ENDPAGE=4120;TITLE=Bessiere, C. (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan
Bessiere, C. (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan, pp. 4113-4120
Scopus-Elsevier
Bessiere, C. (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan, 4113-4120. S.l. : International Joint Conferences on Artificial Intelligence
STARTPAGE=4113;ENDPAGE=4120;TITLE=Bessiere, C. (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan
Bessiere, C. (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, January 2021, Yokohama, Japan, pp. 4113-4120
Scopus-Elsevier
We study the problem of policy synthesis for uncertain partially observable Markov decision processes (uPOMDPs). The transition probability function of uPOMDPs is only known to belong to a so-called uncertainty set, for instance in the form of probab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a63ab0cd7d358b398ae6f6c625566c92
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.