scientific article; zbMATH DE number 7438567

zbMath1476.68151arXiv1509.07208MaRDI QIDQ5013877

Nicolas Markey, Arnaud Sangnier, François Laroussinie

Publication date: 3 December 2021

Full work available at URL: https://arxiv.org/abs/1509.07208

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items

\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers ⋮ Imperfect information in reactive modules games

Uses Software

• CESAR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Augmenting ATL with strategy contexts
• Quantified CTL: Expressiveness and Model Checking
• On Satisfiability in ATL with Strategy Contexts
• Quantified CTL: Expressiveness and Complexity
• Alternating-time temporal logic
• Hierarchical Information Patterns and Distributed Strategy Synthesis
• SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
• Strategy Logic
• ATL with Strategy Contexts and Bounded Memory