Collective Adaptive System SynThesIs using Non-zero-sum Games

Publikation

Publikationer pr. år 2015 2015 2016 2017

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

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2016

  Complete Axiomatization for the Bisimilarity Distance on Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  • Complete 100%
  • Probability Distribution 50%
  • Equational System 33%
  • Deductive System 33%
  5 Citationer (Scopus)

• Importance Sampling for Stochastic Timed Automata

  Jegourel, C., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 2016, Dependable Software Engineering: Theories, Tools, and Applications. Fränzle, M., Kapur, D. & Zhan, N. (red.). Springer, s. 163-178 16 s. (Lecture Notes in Computer Science, Bind 9984).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil

  • Stochastics 100%
  • State 100%
  • Change 100%
  • Timed Automaton 100%
  • Construction 50%
  8 Citationer (Scopus)

  361 Downloads (Pure)

• Online and Compositional Learning of Controllers with Application to Floor Heating

  Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, s. 244-259 15 s. (Lecture Notes in Computer Science, Bind 9636).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Floors 100%
  • Heating 100%
  • Controller Synthesis 66%
  • Houses 66%
  • Temperature 66%
  39 Citationer (Scopus)
• 2015

  Uppaal Stratego

  David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015. Baier, C. & Tinelli, C. (red.). London, UK: Springer, s. 206-211 6 s. (Lecture Notes in Computer Science; Nr. 9035).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Algorithms 100%
  • Usage Scenario 100%
  • User 100%
  • Transformations 100%
  • Model Checking 100%
  112 Citationer (Scopus)