Alberto Griggio

Researcher, Fondazione Bruno Kessler

Joined

November 2023

Names

Alberto Griggio (Preferred)

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

Co-Authors