ML Anthology

Bertello, Matteo

1 publications

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