Parameterised Model Checking of Probabilistic Multi-Agent Systems (2021)

First Author: E Pirovano
Attributed to:  Probabilistic Model Checking Techniques for Drone Swarms funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Thesis