Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. - Alessandro Cimatti; Alberto Griggio; Enrico Magnago; Marco Roveri; Stefano Tonetta (CAV (1), 2019)

SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. - Alessandro Cimatti; Alberto Griggio; Enrico Magnago; Marco Roveri; Stefano Tonetta (Inf. Comput., 2020)

Automatic Discovery of Fair Paths in Infinite-State Transition Systems. - Alessandro Cimatti; Alberto Griggio; Enrico Magnago (ATVA, 2021)

Proving the Existence of Fair Paths in Infinite-State Systems. - Alessandro Cimatti; Alberto Griggio; Enrico Magnago (VMCAI, 2021)

LTL falsification in infinite-state systems. - Alessandro Cimatti; Alberto Griggio; Enrico Magnago (Inf. Comput., 2022)