A one-pass tree-shaped tableau for LTL+past
From MaRDI portal
Publication:4645753
Recommendations
Cited in
(7)- scientific article; zbMATH DE number 7445165 (Why is no real title available?)
- scientific article; zbMATH DE number 7447742 (Why is no real title available?)
- A new rule for LTL tableaux
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
- SAT meets tableaux for linear temporal logic satisfiability
- A One-Pass Tree-Shaped Tableau for Defeasible LTL
- A SAT-based encoding of the one-pass and tree-shaped tableau system for LTL
This page was built for publication: A one-pass tree-shaped tableau for LTL+past
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4645753)