Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.

Serenella Cerrito, Amlie David, Valentin Goranko

Browse the full CADE paper archive.