A Metric Analogue of Stone Duality for Markov Processes

Kim Guldstrand Larsen, Radu Iulian Mardare, Prakash Panangaden

Research output: Contribution to conference without publisher/journal › Conference abstract for conference › Research › peer-review

1 results

Filter

Finished
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R.
01/10/2010 → 30/09/2012
Project: Research