Author:Quinn Thibeault

Publications
ARCH-COMP26 Category Report: Falsification Tanmay Khandait, Paolo Arcaini, Georgios Fainekos, Federico Formica, Sauvik Gon, Ali Kaya, Atanu Kundu, Deyun Lyu, Claudio Menghi, Giulia Pedrielli, Ivan Porres, Rajarshi Ray, Quinn Thibeault, Masaki Waga and Zhenya Zhang In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP25 Category Report: Falsification Tanmay Khandait, Deyun Lyu, Paolo Arcaini, Georgios Fainekos, Federico Formica, Sauvik Gon, Abdelrahman Hekal, Atanu Kundu, Claudio Menghi, Giulia Pedrielli, Rajarshi Ray, Quinn Thibeault, Masaki Waga and Zhenya Zhang In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems