244 followers Verification papers @verif_papers Deciding \mathsf ATL^* Satisfiability by Tableaux. - Amélie David http://t.co/VNY0mLAZIq 01 Aug 2015 Reply Repost Favourite