Luca Dorigo

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Initial Conditions

Partially Observable

Dynamic Systems

Top Venues

Publications

Alberto Casagrande, Alessandro Cimatti, Luca Dorigo, Carla Piazza, Stefano Tonetta
Set-Based Invariants over Polynomial Systems. CILC (2023)
Alberto Casagrande, Thao Dang, Luca Dorigo, Tommaso Dreossi, Carla Piazza, Eleonora Pippia
Parameter synthesis of polynomial dynamical systems. Inf. Comput. 289 (Part) (2022)