Model Checking Probabilistic Knowledge: A PSPACE Case (2016)

First Author: Huang X
Attributed to:  Mobile Robotics: Enabling a Pervasive Technology of the Future funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract