Augmenting ATL with strategy contexts - researchr publication related

researchr

You are not signed in
Sign in
Sign up

François Laroussinie, Nicolas Markey. Augmenting ATL with strategy contexts. Inf. Comput., 245:98-123, 2015. [doi]

The following publications are possibly variants of this publication:

ATL with Strategy Contexts: Expressiveness and Model CheckingArnaud Da Costa Lopes, François Laroussinie, Nicolas Markey. fsttcs 2010: 120-132 [doi]

On the Expressiveness and Complexity of ATLFranÃ§ois Laroussinie, Nicolas Markey, Ghassan Oreiby. lmcs, 4(2), 2008. [doi]

On the Expressiveness and Complexity of ATLFrançois Laroussinie, Nicolas Markey, Ghassan Oreiby. fossacs 2007: 243-257 [doi]

runs on WebDSL