most citedOptimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+

6 citations · 6 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2014★ 6 cited

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+

Serenella Cerrito, Amélie David, Valentin Goranko

We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the fu…