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

2 results

Filter

2017
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, In: Logical Methods in Computer Science.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
2015
Uppaal SMC tutorial
David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 6 Jan 2015, In: International Journal on Software Tools for Technology Transfer. 17, 4, p. 397-415 19 p.
Research output: Contribution to journal › Journal article › Research › peer-review

File
391 Citations (Scopus)

2210 Downloads (Pure)