Matteo Bertello

According to our database, Matteo Bertello authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

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

Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016