Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Federico Calonge"'
Publikováno v:
Computer Science – CACIC 2019 ISBN: 9783030483241
CACIC
CACIC
Behavioral synthesis is a technique that automatically builds a controller for a system given its specification. This is achieved by obtaining a winning strategy in a game between the system and the environment. Behavioral synthesis has been successf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a4e7298224ae6e41d300e2e16aa22b5f
https://doi.org/10.1007/978-3-030-48325-8_11
https://doi.org/10.1007/978-3-030-48325-8_11
