Mark Reynolds

1 paper in the IJCAI proceedings

IJCAI 2016

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

with Matteo Bertello, Nicola Gigante, Angelo Montanari

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings