Minimisation of ATL^* models

DOI10.1007/978-3-319-66902-1_12MaRDI QIDQ1694465zbMATH OpenOpenAlexFDO

Authors Serenella Cerrito, Amélie David

Publication date 2 February 2018

Full work available at URL https://doi.org/10.1007/978-3-319-66902-1_12

zbMATH Keywords

alternating-time temporal logicbisimulationmodel minimizationtableaux

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Minimisation of models satisfying CTL formulas
• scientific article; zbMATH DE number 2086522
• Deciding \(\mathsf {ATL}^*\) satisfiability by tableaux
• Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\)
• scientific article; zbMATH DE number 1614700

Cited in

(1)

• Minimisation of models satisfying CTL formulas

Describes a project that uses

Uses Software

• TATL

This page was built for publication: Minimisation of \(\mathrm{ATL}^*\) models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1694465)