6 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2021★ 1 cited
Tableaux like model checking on-the-fly for ATL+
Serenella Cerrito
We propose a model checking algorithm to test properties of systems that are expressed in the multi-agent temporal logic ATL+. The specificities of this algorithm are: it is on-the…
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…