Learning, Analysis, SynthesiS and Optimization of Cyber-Physical Systems

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds

Author(s): Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Rasmussen, M. R., Srba, J.
Published in: IFAC-PapersOnLine : 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021, Page(s) 13-18, ISSN 2405-8963
Publisher: Elsevier
DOI: 10.1016/j.ifacol.2021.08.467

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction

Author(s): Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Published in: Fundamenta Informaticae, Issue 178, 2021, Page(s) 31-57, ISSN 0169-2968
Publisher: IOS Press
DOI: 10.3233/fi-2021-1997

L∗-based learning of Markov decision processes (extended version)

Author(s): Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M., Larsen, K. G.
Published in: Formal Aspects of Computing, Issue 33, 4-5, 2021, Page(s) 575-615, ISSN 0934-5043
Publisher: Springer Verlag
DOI: 10.1007/s00165-021-00536-5

On the metric-based approximate minimization of Markov Chains

Author(s): Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Published in: Journal of Logical and Algebraic Methods in Programming, 2018, Page(s) 36-56, ISSN 2352-2208
Publisher: Elsevier
DOI: 10.1016/j.jlamp.2018.05.006

Stubborn Set Reduction for Two-Player Reachability Games

Author(s): Frederik Meyer Bønneland ; Peter Gjøl Jensen ; Kim Guldstrand Larsen ; Marco Muñiz ; Jiří Srb
Published in: Logic in Computer Science, Issue Volume 17, Issue 1, 2021, Page(s) 21-26, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-17(1:21)2021

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Author(s): Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Published in: Logic in Computer Science, Issue Volume 17, Issue 1, 2021, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-17(1:9)2021

Model Checking and Synthesis for Branching Multi-Weighted Logics

Author(s): J.S. Jensen, Isabella Kaufmann, Kim Guldstrand Larsen, S.M. Nielsen, Jiri Srba
Published in: Journal of Logic and Algebraic Programming, Issue 105, 2019, Page(s) 28-46, ISSN 2352-2208
Publisher: Elsevier
DOI: 10.1016/j.jlamp.2019.02.001

L*-Based Learning of Markov Decision Processes (Extended Version)

Author(s): Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
Published in: Formal Aspects of Computing, 2021, Page(s) 575-615, ISSN 0934-5043
Publisher: Springer Verlag
DOI: 10.48550/arxiv.1906.12239

Compositional metric reasoning with Probabilistic Process Calculi

Author(s): Daniel Gebler, Simone Tini, Kim Larsen
Published in: Logical Methods in Computer Science, Issue 12/4, 2016, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.2168/LMCS-12(4:12)2016

Contracts for System Design

Author(s): Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
Published in: Foundations and Trends® in Electronic Design Automation, Issue 12/2-3, 2018, Page(s) 124-400, ISSN 1551-3939
Publisher: Now Publishers Inc.
DOI: 10.1561/1000000053

Complete Axiomatization for the Total Variation Distance of Markov Chains

Author(s): Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Published in: Electronic Notes in Theoretical Computer Science, Issue 336, 2018, Page(s) 27-39, ISSN 1571-0661
Publisher: Elsevier BV
DOI: 10.1016/j.entcs.2018.03.014

On decidability of recursive weighted logics

Author(s): Kim G. Larsen, Radu Mardare, Bingtian Xue
Published in: Soft Computing, Issue 22/4, 2018, Page(s) 1085-1102, ISSN 1432-7643
Publisher: Springer Verlag
DOI: 10.1007/s00500-016-2193-z

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

Author(s): Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 220, 2016, Page(s) 63-75, ISSN 2075-2180
Publisher: Computing Research Repository (CoRR)
DOI: 10.4204/EPTCS.220.6

Efficient model-checking of weighted CTL with upper-bound constraints

Author(s): Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jiří Srba, Lars Kaerlund Oestergaard
Published in: International Journal on Software Tools for Technology Transfer, Issue 18/4, 2016, Page(s) 409-426, ISSN 1433-2779
Publisher: Springer Verlag
DOI: 10.1007/s10009-014-0359-5

Statistical and exact schedulability analysis of hierarchical scheduling systems

Author(s): Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou
Published in: Science of Computer Programming, Issue 127, 2016, Page(s) 103-130, ISSN 0167-6423
Publisher: Elsevier BV
DOI: 10.1016/j.scico.2016.05.008

Uppaal SMC tutorial

Author(s): Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen
Published in: International Journal on Software Tools for Technology Transfer, Issue 17/4, 2015, Page(s) 397-415, ISSN 1433-2779
Publisher: Springer Verlag
DOI: 10.1007/s10009-014-0361-y

Statistical model checking for biological systems

Author(s): Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
Published in: International Journal on Software Tools for Technology Transfer, Issue 17/3, 2015, Page(s) 351-367, ISSN 1433-2779
Publisher: Springer Verlag
DOI: 10.1007/s10009-014-0323-4

Learning deterministic probabilistic automata from a model checking perspective

Author(s): Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Published in: Machine Learning, Issue 105/2, 2016, Page(s) 255-299, ISSN 0885-6125
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10994-016-5565-9

Optimizing the resource requirements of hierarchical scheduling systems

Author(s): Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
Published in: ACM SIGBED Review, Issue 13/3, 2016, Page(s) 41-48, ISSN 1551-3688
Publisher: ACM
DOI: 10.1145/2983185.2983192

Average-energy games

Author(s): Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Published in: Acta Informatica, Issue 55/2, 2018, Page(s) 91-127, ISSN 0001-5903
Publisher: Springer Verlag
DOI: 10.1007/s00236-016-0274-1

Limit Your Consumption! Finding Bounds in Average-energy Games

Author(s): Kim G. Larsen, Simon Laursen, Martin Zimmermann
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 227, 2016, Page(s) 1-14, ISSN 2075-2180
Publisher: EPTCS 227
DOI: 10.4204/EPTCS.227.1

On-the-Fly Computation of Bisimilarity Distances

Author(s): Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Published in: Logical Methods in Computer Science, Issue 13/2, 2017, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(2:13)2017

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Author(s): Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
Published in: Fundamenta Informaticae, 2018, ISSN 0169-2968
Publisher: IOS Press

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

Author(s): Giorgio Bacci ; Giovanni Bacci ; Kim G. Larsen ; Radu Mardare
Published in: Logical Methods in Computer Science, 2018, Page(s) 1-29, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-14(4:15)2018

Extended Abstract Dependency Graphs

Author(s): Enevoldsen, S., Larsen, K. G., Srba, J.
Published in: International Journal on Software Tools for Technology Transfer, 2021, Page(s) 1-17, ISSN 1433-2779
Publisher: Springer Verlag
DOI: 10.1007/s10009-021-00638-8

Reasoning About Bounds in Weighted Transition Systems

Author(s): Mikkel Hansen ; Kim Guldstrand Larsen ; Radu Mardare ; Mathias Ruggaard Pedersen
Published in: Logical Methods in Computer Science, 2018, Page(s) 1-32, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-14(4:19)2018

Dependency graphs with applications to verification

Author(s): Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jiří Srba
Published in: International Journal on Software Tools for Technology Transfer, Issue 5, 2020, Page(s) 635-654, ISSN 1433-2779
Publisher: Springer Verlag
DOI: 10.1007/s10009-020-00578-9

A Faster-Than Relation for Semi-Markov Decision Processes

Author(s): Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 312, 2019, Page(s) 29-42
Publisher: Open Publishing Association
DOI: 10.4204/eptcs.312.3

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

Author(s): Isabella Kaufmann, Kim Guldstrand Larsen, Jiří Srba
Published in: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings, 2020, Page(s) 46-66, ISBN 9783030518301
Publisher: Springer VS
DOI: 10.1007/978-3-030-51831-8_3

Lumpability for Uncertain Continuous-Time Markov Chains

Author(s): Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Published in: Quantitative Evaluation of Systems : 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings, 2021, Page(s) 391-409, ISBN 978-3-030-85171-2
Publisher: Springer
DOI: 10.1007/978-3-030-85172-9_21

Symbolic Model Checking of WeightedPCTL Using Dependency Graphs

Author(s): Mathias Claus Jensen, Anders Mariegaard, and Kim Guldstrand Larsen
Published in: NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings, 2019, Page(s) 298-315, ISBN 978-3-030-20651-2
Publisher: Springer
DOI: 10.1007/978-3-030-20652-9_20

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

Author(s): Michele Albano, Stefano Chessa, Kim Guldstrand Larsen
Published in: 26th IEEE Symposium on Computers and Communications, 2021, ISBN 978-1-6654-2745-6
Publisher: IEEE
DOI: 10.1109/iscc53001.2021.9631383

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

Author(s): Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Bernard E Legay, Sean Sedwards, Jakob Haahr Taankvist
Published in: Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings : ATVA 2019: Automated Technology for Verification and Analysis, 2019, Page(s) 81-97, ISBN 978-3-030-31783-6
Publisher: Springer
DOI: 10.1007/978-3-030-31784-3_5

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Author(s): Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Published in: 30th International Conference on Concurrency Theory (CONCUR 2019), 2019, Page(s) 1-17, ISBN 978-3-95977-121-4
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
DOI: 10.4230/lipics.concur.2019.9

On-the-Fly Synthesis for Strictly Alternating Games

Author(s): Shyam Lal Karra, Kim Guldstrand Larsen, Marco Antonio Muniz Rodriguez, Jiri Srba
Published in: Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20), 2020, Page(s) 109-128, ISBN 9783030518301
Publisher: Springer
DOI: 10.1007/978-3-030-51831-8_6

Model checking constrained markov reward models with uncertainties

Author(s): Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
Published in: Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings, 2019, Page(s) 37-51, ISBN 978-3-030-30281-8
Publisher: Springer
DOI: 10.1007/978-3-030-30281-8_3

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Author(s): Kim Guldstrand Larsen
Published in: Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019, 2019, ISBN 978-3-95977-121-4
Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.4230/lipics.concur.2019.2

Partial order reduction for reachability games

Author(s): Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jiří Srba
Published in: 30th International Conference on Concurrency Theory, CONCUR 2019, 2019, ISBN 9783959771214
Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.4230/lipics.concur.2019.23

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

Author(s): Kim G. Larsen, Radu Mardare, Bingtian Xue
Published in: LIPIcs, Issue 65, 2016, Page(s) 25:1--25:18, ISBN 978-3-95977-027-9
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSTTCS.2016.25

A Complete Approximation Theory for Weighted Transition Systems

Author(s): Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
Published in: Lecture Notes in Computer Science, Issue 9984, 2016, Page(s) 213-228, ISBN 978-3-319-47676-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-47677-3_14

On the Metric-Based Approximate Minimization of Markov Chains

Author(s): Giovanni Bacci, Giorgio Bacci, Radu Mardare, Kim G. Larsen
Published in: LIPIcs, Issue 80, 2017, Page(s) 104:1--104:14
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.104

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Author(s): Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Published in: LIPIcs, Issue 59, 2016, Page(s) 21:1--21:14
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2016.21

Unrestricted stone duality for Markov processes

Author(s): Robert Furber, Dexter Kozen, Kim Larsen, Radu Mardare, Prakash Panangaden
Published in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Page(s) 1-9, ISBN 978-1-5090-3018-7
Publisher: IEEE
DOI: 10.1109/LICS.2017.8005152

Timed Comparisons of Semi-Markov Processes

Author(s): Mathias R. Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Published in: Lecture Notes in Computer Science, Issue 10792, 2018, Page(s) 271-283
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-77313-1_21

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation

Author(s): Andreas E. Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias S. Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jiří Srba
Published in: Lecture Notes in Computer Science, Issue 10258, 2017, Page(s) 139-158, ISBN 978-3-319-57860-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-57861-3_10

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

Author(s): Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
Published in: Lecture Notes in Computer Science, Issue 10580, 2017, Page(s) 248-265, ISBN 978-3-319-67728-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-67729-3_15

Refinement of Trace Abstraction for Real-Time Programs

Author(s): Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Published in: Lecture Notes in Computer Science, Issue 10506, 2017, Page(s) 42-58, ISBN 978-3-319-67088-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-67089-8_4

Symbolic Dependency Graphs for PCTL Model-Checking

Author(s): Anders Mariegaard, Kim Guldstrand Larsen
Published in: Lecture Notes in Computer Science, Issue 10419, 2017, Page(s) 153-169, ISBN 978-3-319-65764-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-65765-3_9

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

Author(s): Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
Published in: Lecture Notes in Computer Science, Issue 10610, 2017, Page(s) 481-495, ISBN 978-3-319-68689-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-68690-5_29

Validation, Synthesis and Optimization for Cyber-Physical Systems

Author(s): Kim Guldstrand Larsen
Published in: Lecture Notes in Computer Science, Issue 10205, 2017, Page(s) 3-20, ISBN 978-3-662-54576-8
Publisher: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54577-5_1

Memory-Efficient Tactics for Randomized LTL Model Checking

Author(s): Kim Larsen, Doron Peled, Sean Sedwards
Published in: Lecture Notes in Computer Science, Issue 10712, 2017, Page(s) 152-169, ISBN 978-3-319-72307-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-72308-2_10

Distributed Algorithms for Time Optimal Reachability Analysis

Author(s): Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Published in: Lecture Notes in Computer Science, Issue 9884, 2016, Page(s) 157-173, ISBN 978-3-319-44877-0
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-44878-7_10

Distributed Computation of Fixed Points on Dependency Graphs

Author(s): Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jiří Srba
Published in: Lecture Notes in Computer Science, Issue 9984, 2016, Page(s) 197-212, ISBN 978-3-319-47676-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-47677-3_13

Statistical Model Checking: Past, Present, and Future

Author(s): Kim G. Larsen, Axel Legay
Published in: Lecture Notes in Computer Science, Issue 9952, 2016, Page(s) 3-15
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-47166-2_1

On the Power of Statistical Model Checking

Author(s): Kim G. Larsen, Axel Legay
Published in: Lecture Notes in Computer Science, Issue 9953, 2016, Page(s) 843-862, ISBN 978-3-319-47168-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-47169-3_62

Importance Sampling for Stochastic Timed Automata

Author(s): Cyrille Jegourel, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
Published in: Lecture Notes in Computer Science, Issue 9984, 2016, Page(s) 163-178, ISBN 978-3-319-47676-6
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-47677-3_11

Toolchain for user-centered intelligent floor heating control

Author(s): Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muniz, Petur Olsen, Thomas Pedersen, Jiri Srba, Arne Skou
Published in: IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, 2016, Page(s) 5296-5301, ISBN 978-1-5090-3474-1
Publisher: IEEE
DOI: 10.1109/IECON.2016.7794040

Dependable and Optimal Cyber-Physical Systems

Author(s): Kim Guldstrand Larsen
Published in: Lecture Notes in Computer Science, Issue 10139, 2017, Page(s) 3-10, ISBN 978-3-319-51962-3
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-51963-0_1

Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata

Author(s): René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Published in: Lecture Notes in Computer Science, Issue 10744, 2017, Page(s) 75-90, ISBN 978-3-319-74859-7
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-74860-3_5

Modelling Attack-defense Trees Using Timed Automata

Author(s): Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
Published in: Lecture Notes in Computer Science, Issue 9884, 2016, Page(s) 35-50, ISBN 978-3-319-44877-0
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-44878-7_3

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

Author(s): Peter Gjol Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman
Published in: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), 2017, Page(s) 11-19, ISBN 978-1-5386-2431-9
Publisher: IEEE
DOI: 10.1109/ICECCS.2017.33

Time optimal reachability analysis using swarm verification

Author(s): Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Published in: Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, 2016, Page(s) 1634-1640, ISBN 9781-450337397
Publisher: ACM Press
DOI: 10.1145/2851613.2851828

Timed and Untimed Energy Games

Author(s): Kim Guldstrand Larsen
Published in: Lecture Notes in Computer Science, Issue 10329, 2017, Page(s) xiii-xvi, ISBN 978-3-319-60133-5
Publisher: Springer

Online and Compositional Learning of Controllers with Application to Floor Heating

Author(s): Kim G. Larsen, Marius Mikučionis, Marco Muñiz, Jiří Srba, Jakob Haahr Taankvist
Published in: Lecture Notes in Computer Science, Issue 9636, 2016, Page(s) 244-259, ISBN 978-3-662-49673-2
Publisher: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-49674-9_14

"Practical controller synthesis for MTL<sub>0,∞</sub>"

Author(s): Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Published in: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017, 2017, Page(s) 102-111, ISBN 9781450350778
Publisher: ACM Press
DOI: 10.1145/3092282.3092303

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

Author(s): Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
Published in: Lecture Notes in Computer Science, Issue 9641, 2016, Page(s) 129-146, ISBN 978-3-319-32581-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-32582-8_9

On the Verification of Weighted Kripke Structures Under Uncertainty

Author(s): Giovanni Bacci, Mikkel Hansen and Kim Guldstrand Larsen
Published in: Lecture Notes in Computer Science, 2018
Publisher: Springer

Mastering Operational Limitations of LEO Satellites-The GOMX-3 Approach

Author(s): Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn RHM Haverkort, MR Jongerden, Kim G Larsen, Erik R Wognsen
Published in: 2016
Publisher: International Astronautical Federation (IAF)

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

Author(s): Dmitry Ivanov, Kim Larsen, Sibylle Schupp and Jiri Srba
Published in: Lecture Notes in Computer Science, 2018
Publisher: Springer

Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty

Author(s): Giovanni Bacci, Kim Guldstrand Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg and Pierre-Alain Reynier
Published in: Lecture Notes in Computer Science, 2018
Publisher: Springer

Time Optimal Robust Fleet Management of micro UAV through Timed Games formulation

Author(s): Henrik Schiøler, Luminita Totu, Jan Dimon, Kim Guldstrand Larsen, Jakob Haahr Taankvist
Published in: 2018
Publisher: IEEE/ACM

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

Author(s): F.M. Boenneland, P.G. Jensen, K.G. Larsen, M. Muniz, J. Srba
Published in: Lecture Notes in Computer Science, 2018
Publisher: Springer

Uppaal Stratego for Intelligent Traffic Lights

Author(s): Andreas Berre Eriksen, Chao Huang, Jan Kildebogaard, Harry Spaabæk Lahrmann, Kim Guldstrand Larsen, Marco Muniz, Jakob Haahr Taankvist
Published in: 2017
Publisher: ERTICO - ITS Europe

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Author(s): Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare
Published in: Lecture Notes in Computer Science, 2018
Publisher: Springer

20 Years of Real Real Time Model Validation

Author(s): Kim Guldstrand Larsen, Florian Lorber and Brian Nielsen
Published in: 2018
Publisher: Springer

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

Author(s): Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Published in: 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-14, ISBN 978-1-6654-4896-3
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470555

Battery Aware Analysis of Sensor Networks in Uppaal SMC

Author(s): Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Hoedholt, Christian Ø. Laursen
Published in: 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021, 2021, Page(s) 1-6, ISBN 978-1-6654-3911-4
Publisher: IEEE
DOI: 10.1109/meco52532.2021.9460152

Safe and Time-Optimal Control for Railway Games

Author(s): Shyamlal Karra, Kim Guldstrand Larsen, Florian Lorber, Jiri Srba
Published in: Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19), 2019, Page(s) 106-122, ISBN 978-3-030-18743-9
Publisher: Springer
DOI: 10.1007/978-3-030-18744-6_7

Randomized Refinement Checking of Timed I/O Automata

Author(s): Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
Published in: Proceedings of SETTA 2020 : Dependable Software Engineering. Theories, Tools, and Applications, 2020, Page(s) 70-88, ISBN 978-3-030-62821-5
Publisher: Springer
DOI: 10.1007/978-3-030-62822-2_5

Model Verification Through Dependency Graphs

Author(s): Søren Enevoldsen, Kim Guldstrand Larsen, and Jiri Srba
Published in: Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19), 2019, Page(s) 1-19, ISBN 978-3-030-30922-0
Publisher: Springer
DOI: 10.1007/978-3-030-30923-7_1

L*-Based Learning of Markov Decision Processes

Author(s): Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim Guldstrand Larsen
Published in: Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings : FM 2019: Formal Methods – The Next 30 Years, 2019, Page(s) 651-669, ISBN 978-3-030-30941-1
Publisher: Springer
DOI: 10.1007/978-3-030-30942-8_38

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

Author(s): Pranav Ashok, Jan Křetínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist & Maximilian Weininger
Published in: Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings, 2019, Page(s) 147-164, ISBN 978-3-030-30280-1
Publisher: Springer
DOI: 10.1007/978-3-030-30281-8_9

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

Author(s): Kiviriga, A., Larsen, K. G., Nyman, U.
Published in: Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings, 2021, Page(s) 149-166, ISBN 9783030852474
Publisher: Springer Science+Business Media
DOI: 10.1007/978-3-030-85248-1_9

Abstract Dependency Graphs and Their Application to Model Checking

Author(s): Søren Enevoldsen, Kim Guldstrand Larsen, and Jiri Srba
Published in: Tools and Algorithms for the Construction and Analysis of Systems, 2019, Page(s) 316-333, ISBN 978-3-030-17461-3
Publisher: Springer, Cham
DOI: 10.1007/978-3-030-17462-0

An Automata-Based Approach to Trace Partitioned Abstract Interpretation

Author(s): Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
Published in: Lecture Notes in Computer Science, Issue 9560, 2016, Page(s) 88-110, ISBN 978-3-319-27809-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-27810-0_5

Model Checking Real-Time Systems

Author(s): Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
Published in: Handbook of Model Checking, 2018, Page(s) 1001-1046
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-10575-8_29

Safe and Optimal Adaptive Cruise Control

Author(s): Kim Guldstrand Larsen, Marius Mikučionis, Jakob Haahr Taankvist
Published in: Lecture Notes in Computer Science, Issue 9360, 2015, Page(s) 260-277, ISBN 978-3-319-23505-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-23506-6_17

From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning

Author(s): Kim G. Larsen, Uli Fahrenberg, Axel Legay
Published in: Dependable Software Systems Engineering, Issue 50, 2017, Page(s) 60-103
Publisher: IOS Press Ebooks
DOI: 10.3233/978-1-61499-810-5-60

Active Learning of Markov Decision Processesusing Baum-Welch algorithm

Author(s): Active Learning of Markov Decision Processes using Baum-Welch algorithm
Published in: 2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA), 2021, Page(s) 1203-1208, ISBN 978-1-6654-4337-1
Publisher: IEEE
DOI: 10.1109/icmla52953.2021.00195

Searching for OpenAIRE data...

Publications

Share this page Share this page on social networks

Download Download the content of the page