VeriLHyS: a Framework for LTL Specification and Verification of Hybrid Systems.

Ludovico Battista, Stefano Tonetta, Gianni Zampedri

Browse the full TACAS paper archive.