Collective Adaptive System SynThesIs using Non-zero-sum Games

Research output

Research output per year 2015 2015 2016 2017

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

Research output per year

Research output per year

Search results

• 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

  • Complete 100%
  • Representation Theorem 33%
  • Probability Distribution 33%
  • Equational System 33%

• 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

  • Approximates 100%
  • Programs 50%
  • Positive Integer 33%
  • State Markov Chain 33%
  • Minimal Distance 33%
  7 Citations (Scopus)
• 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

  • Complete 100%
  • Probability Distribution 50%
  • Equational System 33%
  • Deductive System 33%
  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

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

  360 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

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

  Converging from Branching to Linear Metrics on Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Springer, p. 349-367 18 p. (Lecture Notes in Computer Science; No. 9399).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Approximant 100%
  • Pointwise 49%
  • Pseudometric 49%
  • Operators 49%
  • Probability Theory 49%
  16 Citations (Scopus)

• On the Total Variation Distance of Semi-Markov Chains

  Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (ed.). Springer, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Total Variation Distance 100%
  • Decidability 25%
  • Open Problem 25%
  • Arbitrary Precision 25%
  • Real Line 25%
  12 Citations (Scopus)

• Safe and Optimal Adaptive Cruise Control

  Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Meyer, R., Platzer, A. & Wehrheim, H. (eds.). Springer, p. 260-277 18 p. (Lecture Notes in Computer Science; No. 9360).

  Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Adaptive Cruise Control 100%
  • Accident Prevention 100%
  • Road 50%
  • Illustrates 50%
  • Demonstrates 50%
  34 Citations (Scopus)

• 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

  • Model 100%
  • Investigation 100%
  • Family 100%
  • Semantics 100%
  • Feature 100%
  389 Citations (Scopus)

  2164 Downloads (Pure)

• 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

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