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)

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

This page was built for software: TATL