Kim Guldstrand Larsen

View Scopus Profile

Kim Guldstrand Larsen

Ph.D.

 https://orcid.org/0000-0002-5953-3384

  • Selma Lagerløfs Vej 300, 1-2-16

    9220 Aalborg Ø

    Denmark

  • Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

1987 …2024

Research activity per year

Filter
Article in proceeding

Search results

  • 2024

    Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

    Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (eds.). Springer Science+Business Media, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).

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

  • Compositional Control Synthesis for Water Management System

    Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 Feb 2024, (Accepted/In press) ECC. p. 1-8 8 p.

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

  • Shielded Reinforcement Learning for Hybrid Systems

    Brorholt, A. H., Jensen, P. G., Larsen, K. G., Lorber, F. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer, p. 33-54 22 p. (Lecture Notes in Computer Science, Vol. 14380).

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

    File
    1 Citation (Scopus)
    20 Downloads (Pure)
  • 2023

    A Modeling Concept for Formal Verification of OS-Based Compositional Software

    Ribeiro, L. B., Lorber, F., Nyman, U., Larsen, K. G. & Baunach, M., 2023, 26th International Conference (FASE 2023): Fundamental Approaches to Software Engineering, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Springer, p. 26-46 21 p. (Lecture Notes in Computer Science, Vol. 13991 LNCS).

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

    Open Access
    File

  • An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 82-100 19 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 14287).

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

  • CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

    Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 Sept 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Vol. 390. p. 99-114 16 p. (Electronic Proceedings in Theoretical Computer Science).

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

    Open Access
    File
    10 Downloads (Pure)

  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 Nov 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

    Open Access
    File
    22 Downloads (Pure)

  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 Nov 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (eds.). Springer, p. 83-99 17 p. (Lecture Notes in Computer Science, Vol. 14308).

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

    3 Downloads (Pure)

  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer, Vol. LNCS 13872. p. 163-179 17 p. (Lecture Notes in Computer Science).

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

  • Guaranteed safe controller synthesis for switched systems using analytical solutions

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R. & Zhao, G., 2023, 2023 IEEE Conference on Control Technology and Applications, CCTA 2023. IEEE, p. 784-790 7 p. (IEEE Conference on Control Technology and Applications (CCTA) - Proceedings).

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

    Open Access
    File
    37 Downloads (Pure)

  • Learning Symbolic Timed Models from Concrete Timed Data

    Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 May 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Science+Business Media, p. 104-121 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 13903 LNCS).

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

    1 Citation (Scopus)

  • Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

    Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Nature Switzerland AG, p. 113-130 18 p. (Lecture Notes in Computer Science; No. 14290).

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

  • Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Nature Switzerland AG, p. 96-112 17 p. (Lecture Notes in Computer Science; No. 14290).

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

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, 37th Conference on Neural Information Processing Systems (NeurIPS 2023). 20 p.

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

    Open Access

  • Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems

    Kiviriga, A., Larsen, K. G., Nickovic, D. & Nyman, U., 2023, Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings. Petrucci, L. & Sproston, J. (eds.). Springer, p. 141-157 17 p. (Lecture Notes in Computer Science, Vol. 14138 LNCS).

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

  • 2022

    AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences

    Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., 2022, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer, p. 344-362 19 p. (Lecture Notes in Computer Science, Vol. 13299).

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

    2 Citations (Scopus)

  • A Sigfox Module for the Network Simulator 3

    Naeem, M., Albano, M., Magrin, D., Nielsen, B. & Larsen, K. G., 22 Jun 2022, Proceedings of the 2022 Workshop on ns-3. Association for Computing Machinery, p. 81-88 8 p. (ACM International Conference Proceeding Series).

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

    2 Citations (Scopus)

  • Balancing Flexible Production and Consumption of Energy using Resource Timed Automata

    Hansen, J., Larsen, K. G. & Cuijpers, P. J. L., 7 Jun 2022, 2022 11th Mediterranean Conference on Embedded Computing, MECO 2022. IEEE, (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

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

    1 Citation (Scopus)

  • Controlling Stormwater Detention Ponds under Partial Observability

    Kim, E. H., Nielsen, T. D., Larsen, K. G. & Goorden, M., 2 Nov 2022, NWPT: 33rd Nordic Workshop on Programming Theory. Nordic Workshop on Programming Theory, p. 1-3 3 p.

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

    Open Access
    File
    30 Downloads (Pure)

  • Distributed Fleet Management in Noisy Environments via Model-Predictive Control

    Bøgh, S., Jensen, P. G., Nyman, U., Larsen, K. G. & Kristjansen, M., 15 Jun 2022, Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling. AAAI Press Association for the Advancement of Artificial Intelligence, p. 565-573 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

    File
    3 Citations (Scopus)
    38 Downloads (Pure)

  • End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego

    Hasrat, I. R., Jensen, P. G., Larsen, K. G. & Srba, J., 2022, Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer, p. 363-380 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13299 LNCS).

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

    1 Citation (Scopus)

  • Formal Methods Meet Machine Learning (F3ML)

    Larsen, K., Legay, A., Nolte, G., Schlüter, M., Stoelinga, M. & Steffen, B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science+Business Media, p. 393-405 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13703 LNCS).

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

    4 Citations (Scopus)

  • Importance Splitting in Uppaal

    Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). p. 433-447 15 p. (Lecture Notes in Computer Science, Vol. 13703).

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

    1 Citation (Scopus)

  • Monitoring Timed Properties (Revisited)

    Grosen, T. M., Kauffman, S., Larsen, K. G. & Zimmermann, M., Aug 2022, Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings. Bogomolov, S. & Parker, D. (eds.). Springer, p. 43-62 20 p. (Lecture Notes in Computer Science, Vol. 13465).

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

  • Monte Carlo Tree Search for Priced Timed Automata

    Jensen, P. G., Kiviriga, A., Guldstrand Larsen, K., Nyman, U., Mijačika, A. & Høiriis Mortensen, J., 2022, Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Proceedings. Ábrahám, E. & Paolieri, M. (eds.). Springer, p. 381-398 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13479 LNCS).

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

    Open Access
    File
    1 Citation (Scopus)
    100 Downloads (Pure)

  • Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). Springer, p. 61-78 18 p. (Lecture Notes in Computer Science, Vol. 13255).

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

  • STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego

    Goorden, M., Jensen, P. G., Larsen, K. G., Samusev, M., Srba, J. & Zhao, G., 2022, International Symposium on Automated Technology for Verification and Analysis: Automated Technology for Verification and Analysis . Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 327-333 7 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
    1 Citation (Scopus)
    114 Downloads (Pure)
  • 2021

    Active Learning of Markov Decision Processes using Baum-Welch algorithm

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2021, Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021. Wani, M. A., Sethi, I. K., Shi, W., Qu, G., Raicu, D. S. & Jin, R. (eds.). IEEE, p. 1203-1208 6 p. (Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021).

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

    10 Citations (Scopus)

  • A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT

    Albano, M., Chessa, S. & Larsen, K. G., 5 Sept 2021, 26th IEEE Symposium on Computers and Communications. Athens, Greece: IEEE, 9631383. (I E E E International Symposium on Computers and Communications).

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

    Open Access
    1 Citation (Scopus)

  • An Integer Static Analysis for Better Extrapolation in Uppaal

    Lund, S., van Diepen, J., Larsen, K. G., Muñiz, M., Jørgensen, T. R. & Andersen, T. S. D., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, p. 84-99 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

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

    1 Citation (Scopus)

  • Battery Aware Analysis of Sensor Networks in Uppaal SMC

    Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Hoedholt, A. & Laursen, C. Ø., 7 Jun 2021, 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021. IEEE, p. 1-6 6 p. 9460152. (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

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

    4 Citations (Scopus)

  • Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, p. 1-14 14 p.

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

    3 Citations (Scopus)

  • Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Rasmussen, M. R. & Srba, J., 2021, IFAC-PapersOnLine: 7th IFAC Conference on Analysis and Design of Hybrid Systems. 5 ed. Elsevier, Vol. 54. p. 13-18 6 p. (IFAC-PapersOnLine; No. 5, Vol. 54).

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

    Open Access
    File
    8 Citations (Scopus)
    101 Downloads (Pure)

  • Lumpability for Uncertain Continuous-Time Markov Chains

    Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings. Springer, p. 391-409 (Lecture Notes in Computer Science, Vol. 12846).

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

    2 Citations (Scopus)

  • Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code

    Møller, B. H., Søndergaard, J. G., Jensen, K. S., Pedersen, M. W., Bøgedal, T. W., Christensen, A., Poulsen, D. B., Larsen, K. G., Hansen, R. R., Rosted Jensen, T., Juvoll Madsen, H. & Uhrenfeldt, H., 10 Dec 2021, Secure IT Systems: 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings. Tuveri, N., Michalas, A. & Brumley, B. B. (eds.). Springer, p. 192-211 20 p. (Lecture Notes in Computer Science, Vol. LNCS 13115).

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

    1 Citation (Scopus)

  • Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

    Kiviriga, A., Larsen, K. G. & Nyman, U., 2021, Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer Science+Business Media, p. 149-166 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12863 LNCS).

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

    Open Access
    File
    1 Citation (Scopus)
    96 Downloads (Pure)

  • Stubborn Set Reduction for Timed Reachability and Safety Games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (eds.). Springer, Vol. 12860. p. 32-49 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12860 LNCS).

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

    1 Citation (Scopus)
  • 2020

    30 Years of Statistical Model Checking

    Larsen, K. G. & Legay, A., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 325-330 6 p. (Lecture Notes in Computer Science, Vol. 12476).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Communication

    1 Citation (Scopus)

  • Approximating Euclidean by Imprecise Markov Decision Processes

    Jaeger, M., Bacci, G., Bacci, G., Larsen, K. G. & Jensen, P. G., 2020, International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). Margaria, T. & Steffen, B. (eds.). Springer, p. 275-289 15 p. (Lecture Notes in Computer Science, Vol. 12476).

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

    7 Citations (Scopus)

  • Fluid Model-Checking in UPPAAL for Covid-19

    Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-403 19 p. (Lecture Notes in Computer Science, Vol. 12476).

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

    3 Citations (Scopus)

  • From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

    Jaeger, M., Larsen, K. G. & Tibo, A., 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Deshmukh, J. & Nickovic, D. (eds.). Springer Science+Business Media, p. 517-535 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12399 LNCS).

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

    Open Access
    File
    2 Citations (Scopus)
    138 Downloads (Pure)

  • On-the-Fly Synthesis for Strictly Alternating Games

    Karra, S. L., Larsen, K. G., Rodriguez, M. A. M. & Srba, J., 2020, Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20). Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer, p. 109-128 20 p. (Lecture Notes in Computer Science, Vol. 12152).

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

  • Randomized Refinement Checking of Timed I/O Automata

    Kiviriga, A., Larsen, K. G. & Nyman, U., 9 Nov 2020, Proceedings of SETTA 2020: Dependable Software Engineering. Theories, Tools, and Applications. Pang, J. & Zhang, L. (eds.). Springer, p. 70-88 19 p. (Lecture Notes in Computer Science, Vol. 12153).

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

    Open Access
    File
    1 Citation (Scopus)
    219 Downloads (Pure)

  • Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

    Kaufmann, I., Larsen, K. G. & Srba, J., 2020, Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings. Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer VS, p. 46-66 21 p. (Lecture Notes in Computer Science, Vol. 12152).

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

  • Urgent Partial Order Reduction for Extended Timed Automata

    Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Srba, J., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer, p. 179-195 17 p. (Lecture Notes in Computer Science, Vol. 12302).

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

    3 Citations (Scopus)

  • Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs

    Enevoldsen, S., Jensen, M. C., Larsen, K. G., Mariegaard, A. & Srba, J., 2020, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'20). Springer, p. 249-268 20 p. (Lecture Notes in Computer Science).

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

    1 Citation (Scopus)
  • 2019

    Abstract Dependency Graphs and Their Application to Model Checking

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (eds.). Springer, p. 316-333 18 p. (Lecture Notes in Computer Science, Vol. 11427).

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

    Open Access
    File
    6 Citations (Scopus)
    157 Downloads (Pure)

  • Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 9:1-9:17 17 p. 9. (Leibniz International Proceedings in Informatics, Vol. 140).

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

    Open Access
    File
    6 Citations (Scopus)
    48 Downloads (Pure)

  • Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga

    Larsen, K. G., Coent, A. C. L., Mikučionis, M. & Taankvist, J. H., 2019, Proceedings of International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems. Chamberlain, R., Taha, W. & Törngren, M. (eds.). Heidelberg: Springer, p. 113-133 21 p. (Lecture Notes in Computer Science, Vol. 11615).

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

    6 Citations (Scopus)

  • L*-Based Learning of Markov Decision Processes

    Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M. & Larsen, K. G., 23 Sept 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings: FM 2019: Formal Methods – The Next 30 Years. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 651-669 19 p. (Lecture Notes in Computer Science, Vol. 11800).

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

    Open Access
    File
    17 Citations (Scopus)
    179 Downloads (Pure)