TATL

swMATH7522MaRDI QIDQ19549FDOQ19549

Author name not available (Why is that?)

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

Described by source

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

Cited In (9)

• 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
• Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\)

This page was built for software: TATL