Minimisation of \(\mathrm{ATL}^*\) models

DOI10.1007/978-3-319-66902-1_12zbMath1496.68188OpenAlexW2753354997MaRDI QIDQ1694465

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

tableauxbisimulationalternating-time temporal logicmodel minimization

Mathematics Subject Classification ID

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

Uses Software

• TATL

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