Bertello et al. "Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Bertello et al. "Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/bertello2016ijcai-leviathan/)
BibTeX
@inproceedings{bertello2016ijcai-leviathan,
title = {{Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau}},
author = {Bertello, Matteo and Gigante, Nicola and Montanari, Angelo and Reynolds, Mark},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {950-956},
url = {https://mlanthology.org/ijcai/2016/bertello2016ijcai-leviathan/}
}