Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems (2020)

First Author: A Lomuscio
Attributed to:  Probabilistic Model Checking Techniques for Drone Swarms funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://dl.acm.org/doi/abs/10.5555/3398761.3398852

Type: Conference/Paper/Proceeding/Abstract