Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 950-955.
Abstract
The paper presents Leviathan, an LTL satisfiability checking tool based on a novel one-pass, tree-like tableau system, which is way simpler than existing solutions. Despite the simplicity of the algorithm, the tool has performance comparable in speed and memory consumption with other tools on a number of standard benchmark sets, and, in various cases, it outperforms the other tableau-based tools.
Matteo Bertello, Nicola Gigante, Angelo Montanari, and Mark Reynolds. 2016. Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 950–955. https://ijcai.org/proceedings/2016/139
Bertello, M., Gigante, N., Montanari, A., & Reynolds, M. (2016). Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 (pp. 950–955). IJCAI. https://ijcai.org/proceedings/2016/139
@inproceedings{ijcai2016p139,
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 = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {950--955},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/139},
}
TY - CPAPER TI - Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau AU - Bertello, Matteo AU - Gigante, Nicola AU - Montanari, Angelo AU - Reynolds, Mark T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 950 EP - 955 UR - https://ijcai.org/proceedings/2016/139 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
