Taking It to the Limit: Approximate Reasoning for Markov Processes

Kim Guldstrand Larsen, Radu Iulian Mardare, Prakash Panangaden

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

18 Citations (Scopus)

1 results

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