Matteo Bertello

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Linear Temporal Logic

Top Venues

Publications

Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. IJCAI (2016)