TATL

MaRDI QIDQ19549swMATHFDO

Official website https://atila.ibisc.univ-evry.fr/tableau_ATL_star/

Described by source

• Deciding \(\mathsf {ATL}^*\) satisfiability by tableaux
• TATL: Implementation of ATL Tableau-Based Decision Procedure

Cited in

(9)

• Minimisation of \(\mathrm{ATL}^*\) models
• CoLoSS
• Cool
• PGSolver
• Ordered resolution for coalition logic
• Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
• A resolution prover for coalition logic
• Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\)
• CLProver

This page was built for software: TATL