Collective Adaptive System SynThesIs using Non-zero-sum Games

Larsen, Kim Guldstrand (Projektleder)
Skou, Arne (Projektdeltager)
David, Alexandre (Projektdeltager)
Srba, Jiri (Projektdeltager)

4 Konferenceartikel i proceeding
3 Bidrag til bog/antologi
2 Tidsskriftartikel
1 Konferenceartikel i tidsskrift

2 resultater

Filter

2017
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Logical Methods in Computer Science.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
2015
Uppaal SMC tutorial
David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 6 jan. 2015, I: International Journal on Software Tools for Technology Transfer. 17, 4, s. 397-415 19 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Fil
390 Citationer (Scopus)

2198 Downloads (Pure)