Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker

DOI10.4230/lipics.time.2021.8OpenAlexW3203444134MaRDI QIDQ6080272

Nicola Gigante, Angelo Montanari, Unnamed Author, Luca Geatti

Publication date: 2 October 2023

Full work available at URL: https://doi.org/10.4230/LIPIcs.TIME.2021.8

zbMATH Keywords

tableauxSATLTLLTL+Past

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Past Matters: Supporting LTL+Past in the BLACK Satisfiability Checker