Leviathan: A new LTL satisfiability checking tool based on a one-pass tree-shaped tableau

M. Bertello, N. Gigante, A. Montanari, Mark Reynolds

Research output: Chapter in Book/Conference paperConference paper

10 Citations (Scopus)
13 Downloads (Pure)

Abstract

The paper presents Leviathan, an LTL satisfiability checking tool based on a novel one-pass, treelike 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.
Original languageEnglish
Title of host publicationProceedings of the 25th International Joint Conference on Artificial Intelligence
EditorsS Kambhampati
Place of PublicationUSA
PublisherAAAI Press
Pages950-956
Number of pages7
ISBN (Print)9781577357704, 9781577357711
Publication statusPublished - 2016
Event25th International Joint Conference on Artificial Intelligence: IJCAI 2016 - New York, New York, United States
Duration: 9 Jul 201615 Jul 2016

Conference

Conference25th International Joint Conference on Artificial Intelligence
CountryUnited States
CityNew York
Period9/07/1615/07/16

Fingerprint Dive into the research topics of 'Leviathan: A new LTL satisfiability checking tool based on a one-pass tree-shaped tableau'. Together they form a unique fingerprint.

Cite this