Parameter synthesis of polynomial dynamical systems

Autor: Casagrande, Alberto, Dang, Thao, Dorigo, Luca, Dreossi, Tommaso, Piazza, Carla, Pippia, Eleonora
Zdroj: In Information and Computation November 2022 289 Part A
Databáze: ScienceDirect