Login / Signup
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau.
Matteo Bertello
Nicola Gigante
Angelo Montanari
Mark Reynolds
Published in:
IJCAI (2016)
Keyphrases
</>
tree shaped
description logics
temporal logic
information retrieval
software tools
real time
databases
neural network
real world
case study
linear temporal logic