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

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