Stefano Tonetta

Researcher, Fondazione Bruno Kessler

Joined

July 2019

Names

Stefano Tonetta

Emails

****@fbk.eu (Confirmed)

Personal Links

Career & Education History

Researcher

Fondazione Bruno Kessler (fbk.eu)

Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Infinite-State Liveness Checking with rlive
Alessandro Cimatti, Alberto Griggio, Christopher Johannsen, Kristin Yvonne Rozier, Stefano Tonetta
- OpenReview Archive Direct Upload
- Readers: Everyone
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta
- 2013 (modified: 16 Jul 2019)
- AAAI (Late-Breaking Developments) 2013
- Readers: Everyone
SMT-Based Verification of Hybrid Systems
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
- 2012 (modified: 16 Jul 2019)
- AAAI 2012
- Readers: Everyone

Co-Authors