Collective Adaptive System SynThesIs using Non-zero-sum Games

Larsen, Kim Guldstrand (Project Manager)
Skou, Arne (Project Participant)
David, Alexandre (Project Participant)
Srba, Jiri (Project Participant)

4 Article in proceeding
3 Book chapter
2 Journal article
1 Conference article in Journal

1 results

Filter

2017
On the Metric-Based Approximate Minimization of Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In: Leibniz International Proceedings in Informatics. 80, 44, p. 1 14 p.
Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access
7 Citations (Scopus)