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

DOI10.1007/978-3-030-92137-8_4MaRDI QIDQ2154045zbMATH OpenOpenAlexFDO

Authors Nils Timm, Josua Botha

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) Agent technology and artificial intelligence (68T42) Resource and cost allocation (including fair division, apportionment, etc.) (91B32)

Recommendations

• SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
• Synthesis and verification of uniform strategies for multi-agent systems
• Verifying systems of resource-bounded agents
• Characterization, verification and generation of strategies in games with resource constraints
• Model checking coalitional games in shortage resource scenarios

Cites work

• A data symmetry reduction technique for temporal-epistemic logic
• A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
• Alternating-time temporal logic
• ATL* Satisfiability Is 2EXPTIME-Complete
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Bounded model checking for knowledge and real time
• scientific article; zbMATH DE number 5510691 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Linear completeness thresholds for bounded model checking
• NuSMV: A new symbolic model checker
• SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
• Towards partial order reductions for strategic ability

Cited in

(4)

• Characterization, verification and generation of strategies in games with resource constraints
• scientific article; zbMATH DE number 1952783 (Why is no real title available?)
• scientific article; zbMATH DE number 1759731 (Why is no real title available?)
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2154045)