Collective Adaptive System SynThesIs using Non-zero-sum Games

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

Search results

  • 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, p. 21:1--21:14 14 p. (Leibniz International Proceedings in Informatics, Vol. 59).

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

    Open Access
    5 Citations (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. (eds.). Springer, p. 163-178 16 p. (Lecture Notes in Computer Science, Vol. 9984).

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

    File
    8 Citations (Scopus)
    363 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, p. 244-259 15 p. (Lecture Notes in Computer Science, Vol. 9636).

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

    40 Citations (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. (eds.). London, UK: Springer, p. 206-211 6 p. (Lecture Notes in Computer Science; No. 9035).

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

    114 Citations (Scopus)