Model checking and strategy synthesis for multi-agent systems for resource allocation

DOI10.1007/978-3-030-92137-8_4zbMath1498.68343OpenAlexW3215436609MaRDI QIDQ2154045

Josua Botha, Nils Timm

Publication date: 13 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-92137-8_4

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Resource and cost allocation (including fair division, apportionment, etc.) (91B32) Agent technology and artificial intelligence (68T42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bounded model checking for knowledge and real time
• NuSMV: A new symbolic model checker
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
• Linear Completeness Thresholds for Bounded Model Checking
• Alternating-time temporal logic
• ATL* Satisfiability Is 2EXPTIME-Complete
• A Data Symmetry Reduction Technique for Temporal-epistemic Logic
• Towards Partial Order Reductions for Strategic Ability

This page was built for publication: Model checking and strategy synthesis for multi-agent systems for resource allocation