A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems (2019)

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

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract