Matteo Bertello

1 papers · 2016–2016 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Nicola Gigante (1) Mark Reynolds (1) Angelo Montanari (1)

Papers

Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau IJCAI 2016