Controller synthesis with uninterpreted functions

Autor:	Hofferek, Georg
Rok vydání:	2014
DOI:	10.3217/y86pd-a0b52
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::d824eb7577f37bf59413bb9475457af7 Zobrazit plný text záznamu