Probabilistic logic and the metric space of logical formulas

Radu Iulian Mardare

Department of Computer Science

Research output: Contribution to journal › Conference abstract in journal › 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