technical paper

AAMAS 2020

May 11, 2020

Live on Underline

Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems

DOI: 10.48448/3ffd-bs38

We present a framework for verifying strategic behaviour in an unbounded multi-agent system. We introduce a novel probabilistic semantics for parameterised multi-agent systems and define the corresponding verification problem against two probabilistic variants of alternating-time temporal logic. We define a verification procedure using an abstract model construction. We show that the procedure is complete for one variant of our specification language, and partial for the other. We present an implementation and report experimental results.



Next from AAMAS 2020

technical paper

Algorithms for Swap and Shift Bribery in Structured Elections

AAMAS 2020

Sanjukta Roy and 3 other authors

11 May 2020

Similar lecture


Explainable Robotic Plan Execution Monitoring under Partial Observability

AAAI 2023

Esra Erdem

09 February 2023

Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved