ATLsc with partial observation
Alternating-time temporal logic with strategy contexts (ATLsc) is a powerful formalism for expressing properties of multi-agent systems: it extends CTL with strategy quantifiers, offering a convenient way of expressing both collaboration and antagonism between several agents. Incomplete observation...
Main Authors: | François Laroussinie, Nicolas Markey, Arnaud Sangnier |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2015-09-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1509.07208v1 |
Similar Items
-
Quantified CTL: Expressiveness and Complexity
by: François Laroussinie, et al.
Published: (2014-12-01) -
On the Expressiveness and Complexity of ATL
by: Francois Laroussinie, et al.
Published: (2008-05-01) -
The Complexity of Flat Freeze LTL
by: Benedikt Bollig, et al.
Published: (2019-09-01) -
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
by: Giorgio Delzanno, et al.
Published: (2011-08-01) -
Counting CTL
by: François Laroussinie, et al.
Published: (2013-02-01)