Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stefano Tonetta
conf.researchr.org general profile
ATVA 2025 profile
DX 2025 profile
Not registered as user
Name:
Stefano Tonetta
Affiliation:
tonettas@fbk.eu
Contributions
2025
ATVA
Author of Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates within the ATVA Papers-track
DX
Committee member in Program Committee within the DX'25-track
Share
x
Thu 30 Oct 02:33