Publications

This page contains a (selected) list of publications about VeriLHyS.

1. Ludovico Battista and Stefano Tonetta (ATVA 2025) Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates. (available here)