Parameter synthesis of polynomial dynamical systems

Autor:	Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	Computational Theory and Mathematics Neural network verification Parametric dynamical systems Signal temporal logic Bernstein coefficients Computer Science Applications Information Systems Theoretical Computer Science
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca704eb0b6a4e0bf027ace157eef8a6d http://hdl.handle.net/11390/1229225 Zobrazit plný text záznamu