default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKim G. Larsen
Kim Guldstrand Larsen
Person information
- affiliation: Aalborg University, Department of Computer Science, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j110]Esther H. Kim
, Martijn A. Goorden, Kim G. Larsen, Thomas D. Nielsen:
Controlling stormwater detention ponds under partial observability. J. Log. Algebraic Methods Program. 141: 100979 (2024)- [j109]Weizhu Qian, Thomas Dyhre Nielsen, Yan Zhao, Kim Guldstrand Larsen, James Jianqiao Yu:
Uncertainty-Aware Temporal Graph Convolutional Network for Traffic Speed Forecasting. IEEE Trans. Intell. Transp. Syst. 25(8): 8578-8590 (2024) - [c380]Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba:
SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks. DSN 2024: 483-494 - [c379]Esther H. Kim, Kim G. Larsen, Martijn A. Goorden, Thomas D. Nielsen:
Compositional Control Synthesis for Water Management System. ECC 2024: 3130-3137 - [c378]Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ø. Nielsen, Álvaro Torralba, Kim G. Larsen:
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. ICAPS 2024: 588-596 - [c377]Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba:
SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. INFOCOM 2024: 2398-2407 - [c376]Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Dissimilarity for Linear Dynamical Systems. QEST+FORMATS 2024: 125-142 - [c375]Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) 2024: 343-362 - [c374]Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen:
Safe and Infinite Resource Scheduling Using Energy Timed Automata. TASE 2024: 73-90 - [c373]Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano:
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. TASE 2024: 356-373 - [d2]Csaba Györgyi, Kim Guldstrand Larsen, Stefan Schmid, Jirí Srba:
Reproducibility Package for SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. Zenodo, 2024
- [d1]Rasmus G. Tollund, Nicklas S. Johansen, Kristian Ødum Knorborg, Kim Guldstrand Larsen, Álvaro Torralba:
Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata". Zenodo, 2024 - [i46]Martin Fränzle, Thomas Møller Grosen, Kim G. Larsen, Martin Zimmermann:
Monitoring Real-Time Systems under Parametric Delay. CoRR abs/2404.18282 (2024) - [i45]Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
The Complexity of Data-Free Nfer. CoRR abs/2407.03155 (2024) - [i44]Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Kim Guldstrand Larsen, Christian Schilling:
Efficient Shield Synthesis via State-Space Transformation. CoRR abs/2407.19911 (2024) - [i43]Rong Gu, Kaige Tan, Andreas Holck Høeg-Petersen, Lei Feng, Kim Guldstrand Larsen:
CommonUppRoad: A Framework of Formal Modelling, Verifying, Learning, and Visualisation of Autonomous Vehicles. CoRR abs/2408.01093 (2024) - 2023
- [j108]Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
A toolchain for domestic heat-pump control using Uppaal Stratego. Sci. Comput. Program. 230: 102987 (2023) - [j107]Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba:
AllSynth: A BDD-based approach for network update synthesis. Sci. Comput. Program. 230: 102992 (2023) - [j106]Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68(11): 6557-6572 (2023) - [c372]Pieter J. L. Cuijpers, Jonas Hansen, Kim G. Larsen:
Assume-Guarantee Reasoning for Additive Hybrid Behaviour. Theories of Programming and Formal Methods 2023: 297-322 - [c371]Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Weizhu Qian, Michael R. Rasmussen, Guohan Zhao:
Guaranteed safe controller synthesis for switched systems using analytical solutions*. CCTA 2023: 784-790 - [c370]Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen:
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. ECBS 2023: 153-169 - [c369]Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach:
A Modeling Concept for Formal Verification of OS-Based Compositional Software. FASE 2023: 26-46 - [c368]Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Refinement of Systems with an Attacker Focus. FMICS 2023: 96-112 - [c367]Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. FMICS 2023: 113-130 - [c366]Andrej Kiviriga, Kim Guldstrand Larsen, Dejan Nickovic, Ulrik Nyman:
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems. FORMATS 2023: 141-157 - [c365]Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen:
Dynamic Extrapolation in Extended Timed Automata. ICFEM 2023: 83-99 - [c364]Martin Kristjansen, Abhijit Kulkarni, Peter Gjøl Jensen, Remus Teodorescu, Kim Guldstrand Larsen:
Dual Balancing of SoC/SoT in Smart Batteries Using Reinforcement Learning in Uppaal Stratego. IECON 2023: 1-6 - [c363]Simon Dierl, Falk Maria Howar, Sean Kauffman, Martin Kristjansen, Kim Guldstrand Larsen, Florian Lorber, Malte Mauritz:
Learning Symbolic Timed Models from Concrete Timed Data. NFM 2023: 104-121 - [c362]Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen:
Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS 2023 - [c361]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains. QEST 2023: 82-100 - [c360]Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik:
Elimination of Detached Regions in Dependency Graph Verification. SPIN 2023: 163-179 - [c359]Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen:
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA 2023: 25-32 - [c358]Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. AISoLA 2023: 33-54 - [c357]Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen, Jener Rasmussen, Mathias M. Sørensen, Asger G. Weirsøe, Mathias Claus Jensen, Kim G. Larsen:
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. GandALF 2023: 99-114 - [i42]Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR abs/2301.08553 (2023) - [i41]Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski:
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR abs/2302.04529 (2023) - [i40]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains. CoRR abs/2302.08588 (2023) - [i39]Anders Mariegaard, Kim G. Larsen, Marco Muñiz, Thomas Dyhre Nielsen:
Energy Consumption Optimization in Radio Access Networks (ECO-RAN). CoRR abs/2304.00277 (2023) - [i38]Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski:
Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR abs/2308.09510 (2023) - [i37]Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen, Florian Lorber, Christian Schilling:
Shielded Reinforcement Learning for Hybrid Systems. CoRR abs/2308.14424 (2023) - 2022
- [j105]Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen:
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework. Inf. Comput. 289(Part): 104947 (2022) - [j104]Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba:
Extended abstract dependency graphs. Int. J. Softw. Tools Technol. Transf. 24(1): 49-65 (2022) - [j103]Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(3): 325-330 (2022) - [j102]Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized reachability analysis in UPPAAL: fast error detection in timed systems. Int. J. Softw. Tools Technol. Transf. 24(6): 1025-1042 (2022) - [c356]Simon Bøgh, Peter Gjøl Jensen, Martin Kristjansen, Kim Guldstrand Larsen, Ulrik Nyman:
Distributed Fleet Management in Noisy Environments via Model-Predictive Control. ICAPS 2022: 565-573 - [c355]Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao:
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ATVA 2022: 327-333 - [c354]Kim G. Larsen, Christian Schilling, Jirí Srba:
Simulation Relations and Applications in Formal Methods. Principles of Systems Design 2022: 272-291 - [c353]Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis:
Playing Wordle with Uppaal Stratego. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 283-305 - [c352]Giorgio Bacci, Giovanni Bacci, Mathias Claus Jensen, Kim G. Larsen:
Convex Lattice Equation Systems. Principles of Systems Design 2022: 438-455 - [c351]Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
Monitoring Timed Properties (Revisited). FORMATS 2022: 43-62 - [c350]Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning Meets Shielding. ISoLA (1) 2022: 335-359 - [c349]Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen:
Formal Methods Meet Machine Learning (F3ML). ISoLA (3) 2022: 393-405 - [c348]Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen:
Importance Splitting in Uppaal. ISoLA (3) 2022: 433-447 - [c347]Jonas Hansen, Kim Guldstrand Larsen, Pieter J. L. Cuijpers:
Balancing Flexible Production and Consumption of Energy using Resource Timed Automata. MECO 2022: 1-6 - [c346]Peter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen:
Monte Carlo Tree Search for Priced Timed Automata. QEST 2022: 381-398 - [c345]Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. SPIN 2022: 61-78 - [c344]Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba:
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. TASE 2022: 344-362 - [c343]Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. TASE 2022: 363-380 - [c342]Muhammad Naeem, Michele Albano, Davide Magrin, Brian Nielsen, Kim Guldstrand Larsen:
A Sigfox Module for the Network Simulator 3. WNS3 2022: 81-88 - [i36]Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann:
Monitoring Timed Properties (Revisited). CoRR abs/2206.14590 (2022) - [i35]Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen:
Automata Learning meets Shielding. CoRR abs/2212.01838 (2022) - 2021
- [j101]Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Pierre-Alain Reynier:
Optimal and robust controller synthesis using energy timed automata with uncertainty. Formal Aspects Comput. 33(1): 3-25 (2021) - [j100]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33(4-5): 575-615 (2021) - [j99]Kim G. Larsen, Natarajan Shankar, Pierre Wolper, Somesh Jha:
2018 CAV award. Formal Methods Syst. Des. 57(1): 116-117 (2021) - [j98]Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. Fundam. Informaticae 178(1-2): 31-57 (2021) - [j97]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel:
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. 17(1) (2021) - [j96]Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
Stubborn Set Reduction for Two-Player Reachability Games. Log. Methods Comput. Sci. 17(1) (2021) - [j95]Kim G. Larsen, Oleg Sokolsky, Ji Wang:
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017). Sci. Comput. Program. 206: 102622 (2021) - [j94]René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Peter Gjøl Jensen, Danny Bøgsted Poulsen:
ADTLang: a programming language approach to attack defense trees. Int. J. Softw. Tools Technol. Transf. 23(1): 89-104 (2021) - [c341]Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba:
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. ADHS 2021: 13-18 - [c340]Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen:
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. ADHS 2021: 259-264 - [c339]Giovanni Bacci, Benoît Delahaye, Kim G. Larsen, Anders Mariegaard:
Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning 2021: 57-77 - [c338]Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems. FMICS 2021: 149-166 - [c337]Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba:
Stubborn Set Reduction for Timed Reachability and Safety Games. FORMATS 2021: 32-49 - [c336]Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen:
An Integer Static Analysis for Better Extrapolation in Uppaal. FORMATS 2021: 84-99 - [c335]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
Active Learning of Markov Decision Processes using Baum-Welch algorithm. ICMLA 2021: 1203-1208 - [c334]Michele Albano, Stefano Chessa, Kim Guldstrand Larsen:
A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT. ISCC 2021: 1-7 - [c333]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS 2021: 1-14 - [c332]Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Høedholt, Christian Ø. Laursen:
Battery Aware Analysis of Sensor Networks in Uppaal SMC. MECO 2021: 1-6 - [c331]Bjarke Hilmer Møller, Jacob Gosch Søndergaard, Kristoffer Skagbæk Jensen, Magnus Winkel Pedersen, Tobias Worm Bøgedal, Anton Christensen, Danny Bøgsted Poulsen, Kim Guldstrand Larsen, René Rydhof Hansen, Thomas Rosted Jensen, Heino Juvoll Madsen, Henrik Uhrenfeldt:
Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code. NordSec 2021: 192-211 - [c330]Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Lumpability for Uncertain Continuous-Time Markov Chains. QEST 2021: 391-409 - [e16]Jan Friso Groote, Kim Guldstrand Larsen:
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. Lecture Notes in Computer Science 12651, Springer 2021, ISBN 978-3-030-72015-5 [contents] - [e15]Jan Friso Groote, Kim Guldstrand Larsen:
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Lecture Notes in Computer Science 12652, Springer 2021, ISBN 978-3-030-72012-4 [contents] - [i34]Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba:
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. CoRR abs/2104.12509 (2021) - [i33]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR abs/2104.13160 (2021) - [i32]Giovanni Bacci, Anna Ingólfsdóttir, Kim G. Larsen, Raphaël Reynouard:
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended). CoRR abs/2110.03014 (2021) - 2020
- [j93]Mathias Claus Jensen, Kim Guldstrand Larsen:
A complete axiomatization of weighted branching bisimulation. Acta Informatica 57(3-5): 689-725 (2020) - [j92]Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba:
Dependency graphs with applications to verification. Int. J. Softw. Tools Technol. Transf. 22(5): 635-654 (2020) - [c329]Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba:
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets 2020: 46-66 - [c328]Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba:
On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets 2020: 109-128 - [c327]Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba:
Urgent Partial Order Reduction for Extended Timed Automata. ATVA 2020: 179-195 - [c326]Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen:
Approximating Euclidean by Imprecise Markov Decision Processes. ISoLA (1) 2020: 275-289 - [c325]Kim G. Larsen, Axel Legay:
30 Years of Statistical Model Checking. ISoLA (1) 2020: 325-330 - [c324]Peter Gjøl Jensen, Kenneth Yrke Jørgensen, Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Danny Bøgsted Poulsen:
Fluid Model-Checking in UPPAAL for Covid-19. ISoLA (1) 2020: 385-403 - [c323]Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba:
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. LOPSTR 2020: 249-268 - [c322]Manfred Jaeger, Kim G. Larsen, Alessandro Tibo:
From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. RV 2020: 517-535 - [c321]Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman:
Randomized Refinement Checking of Timed I/O Automata. SETTA 2020: 70-88 - [i31]Alessandro Tibo, Manfred Jaeger, Kim G. Larsen:
A general framework for defining and optimizing robustness. CoRR abs/2006.11122 (2020) - [i30]Manfred Jaeger, Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Peter Gjøl Jensen:
Approximating Euclidean by Imprecise Markov Decision Processes. CoRR abs/2006.14923 (2020) - [i29]Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano:
It's Time to Play Safe: Shield Synthesis for Timed Systems. CoRR abs/2006.16688 (2020) - [i28]Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen:
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction. CoRR abs/2007.10539 (2020) - [i27]Albert Benveniste, Kim G. Larsen, Jean-Baptiste Raclet:
Mixed Nondeterministic-Probabilistic Interfaces. CoRR abs/2011.09435 (2020)
2010 – 2019
- 2019
- [j91]Kim G. Larsen, Jirí Srba:
Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). J. Log. Algebraic Methods Program. 107: 177-178 (2019) - [j90]Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Jirí Srba:
Model checking and synthesis for branching multi-weighted logics. J. Log. Algebraic Methods Program. 105: 28-46 (2019) - [j89]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. 29(1): 3-37 (2019) - [c320]Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Sean Sedwards, Jakob Haahr Taankvist:
Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs. ATVA 2019: 81-97 - [c319]Kim G. Larsen:
Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper). CONCUR 2019: 2:1-2:5 - [c318]Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel:
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR 2019: 9:1-9:17 - [c317]Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba:
Partial Order Reduction for Reachability Games. CONCUR 2019: 23:1-23:15 - [c316]Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen:
L*-Based Learning of Markov Decision Processes. FM 2019: 651-669 - [c315]