Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Automatic abstraction technique"'
Publikováno v:
ASP-DAC
Modern smart systems are usually built by implementing SW functionalities executed on HW platforms composed of both digital and analog components. Validation is mainly implemented through simulation of the functional behavior of the entire smart syst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::398883a26684a72f97ca83a202e81ad4
https://doi.org/10.1109/aspdac.2017.7858325
https://doi.org/10.1109/aspdac.2017.7858325
Autor:
Moravčík, Matej
Efficient algorithms exist for finding optimal strategies in extensive-form games. However human scale problems, such as poker, are typically so large that computation of these strategies remain infeasible with current technology. State space abstrac
Externí odkaz:
http://www.nusl.cz/ntk/nusl-332088
Autor:
Moravčík, Matej
Efficient algorithms exist for finding optimal strategies in extensive-form games. However human scale problems, such as poker, are typically so large that computation of these strategies remain infeasible with current technology. State space abstrac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::6ae4577fd41ca844f59487156bbfdd41
http://www.nusl.cz/ntk/nusl-332088
http://www.nusl.cz/ntk/nusl-332088