Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

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

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds (s’ouvre dans une nouvelle fenêtre)

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

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction (s’ouvre dans une nouvelle fenêtre)

Auteurs: Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Publié dans: Fundamenta Informaticae, Numéro 178, 2021, Page(s) 31-57, ISSN 0169-2968
Éditeur: IOS Press
DOI: 10.3233/fi-2021-1997

L∗-based learning of Markov decision processes (extended version) (s’ouvre dans une nouvelle fenêtre)

Auteurs: Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M., Larsen, K. G.
Publié dans: Formal Aspects of Computing, Numéro 33, 4-5, 2021, Page(s) 575-615, ISSN 0934-5043
Éditeur: Springer Verlag
DOI: 10.1007/s00165-021-00536-5

On the metric-based approximate minimization of Markov Chains (s’ouvre dans une nouvelle fenêtre)

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

Stubborn Set Reduction for Two-Player Reachability Games (s’ouvre dans une nouvelle fenêtre)

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

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata (s’ouvre dans une nouvelle fenêtre)

Auteurs: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Publié dans: Logic in Computer Science, Numéro Volume 17, Numéro 1, 2021, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-17(1:9)2021

Model Checking and Synthesis for Branching Multi-Weighted Logics (s’ouvre dans une nouvelle fenêtre)

Auteurs: J.S. Jensen, Isabella Kaufmann, Kim Guldstrand Larsen, S.M. Nielsen, Jiri Srba
Publié dans: Journal of Logic and Algebraic Programming, Numéro 105, 2019, Page(s) 28-46, ISSN 2352-2208
Éditeur: Elsevier
DOI: 10.1016/j.jlamp.2019.02.001

L*-Based Learning of Markov Decision Processes (Extended Version) (s’ouvre dans une nouvelle fenêtre)

Auteurs: Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
Publié dans: Formal Aspects of Computing, 2021, Page(s) 575-615, ISSN 0934-5043
Éditeur: Springer Verlag
DOI: 10.48550/arxiv.1906.12239

Compositional metric reasoning with Probabilistic Process Calculi (s’ouvre dans une nouvelle fenêtre)

Auteurs: Daniel Gebler, Simone Tini, Kim Larsen
Publié dans: Logical Methods in Computer Science, Numéro 12/4, 2016, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.2168/LMCS-12(4:12)2016

Contracts for System Design (s’ouvre dans une nouvelle fenêtre)

Auteurs: 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
Publié dans: Foundations and Trends® in Electronic Design Automation, Numéro 12/2-3, 2018, Page(s) 124-400, ISSN 1551-3939
Éditeur: Now Publishers Inc.
DOI: 10.1561/1000000053

Complete Axiomatization for the Total Variation Distance of Markov Chains (s’ouvre dans une nouvelle fenêtre)

Auteurs: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Publié dans: Electronic Notes in Theoretical Computer Science, Numéro 336, 2018, Page(s) 27-39, ISSN 1571-0661
Éditeur: Elsevier BV
DOI: 10.1016/j.entcs.2018.03.014

On decidability of recursive weighted logics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim G. Larsen, Radu Mardare, Bingtian Xue
Publié dans: Soft Computing, Numéro 22/4, 2018, Page(s) 1085-1102, ISSN 1432-7643
Éditeur: Springer Verlag
DOI: 10.1007/s00500-016-2193-z

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures (s’ouvre dans une nouvelle fenêtre)

Auteurs: Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 220, 2016, Page(s) 63-75, ISSN 2075-2180
Éditeur: Computing Research Repository (CoRR)
DOI: 10.4204/EPTCS.220.6

Efficient model-checking of weighted CTL with upper-bound constraints (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jiří Srba, Lars Kaerlund Oestergaard
Publié dans: International Journal on Software Tools for Technology Transfer, Numéro 18/4, 2016, Page(s) 409-426, ISSN 1433-2779
Éditeur: Springer Verlag
DOI: 10.1007/s10009-014-0359-5

Statistical and exact schedulability analysis of hierarchical scheduling systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou
Publié dans: Science of Computer Programming, Numéro 127, 2016, Page(s) 103-130, ISSN 0167-6423
Éditeur: Elsevier BV
DOI: 10.1016/j.scico.2016.05.008

Uppaal SMC tutorial (s’ouvre dans une nouvelle fenêtre)

Auteurs: Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen
Publié dans: International Journal on Software Tools for Technology Transfer, Numéro 17/4, 2015, Page(s) 397-415, ISSN 1433-2779
Éditeur: Springer Verlag
DOI: 10.1007/s10009-014-0361-y

Statistical model checking for biological systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
Publié dans: International Journal on Software Tools for Technology Transfer, Numéro 17/3, 2015, Page(s) 351-367, ISSN 1433-2779
Éditeur: Springer Verlag
DOI: 10.1007/s10009-014-0323-4

Learning deterministic probabilistic automata from a model checking perspective (s’ouvre dans une nouvelle fenêtre)

Auteurs: Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Publié dans: Machine Learning, Numéro 105/2, 2016, Page(s) 255-299, ISSN 0885-6125
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10994-016-5565-9

Optimizing the resource requirements of hierarchical scheduling systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
Publié dans: ACM SIGBED Review, Numéro 13/3, 2016, Page(s) 41-48, ISSN 1551-3688
Éditeur: ACM
DOI: 10.1145/2983185.2983192

Average-energy games (s’ouvre dans une nouvelle fenêtre)

Auteurs: Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Publié dans: Acta Informatica, Numéro 55/2, 2018, Page(s) 91-127, ISSN 0001-5903
Éditeur: Springer Verlag
DOI: 10.1007/s00236-016-0274-1

Limit Your Consumption! Finding Bounds in Average-energy Games (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim G. Larsen, Simon Laursen, Martin Zimmermann
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 227, 2016, Page(s) 1-14, ISSN 2075-2180
Éditeur: EPTCS 227
DOI: 10.4204/EPTCS.227.1

On-the-Fly Computation of Bisimilarity Distances (s’ouvre dans une nouvelle fenêtre)

Auteurs: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Publié dans: Logical Methods in Computer Science, Numéro 13/2, 2017, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(2:13)2017

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Auteurs: 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
Publié dans: Fundamenta Informaticae, 2018, ISSN 0169-2968
Éditeur: IOS Press

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains (s’ouvre dans une nouvelle fenêtre)

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

Extended Abstract Dependency Graphs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Enevoldsen, S., Larsen, K. G., Srba, J.
Publié dans: International Journal on Software Tools for Technology Transfer, 2021, Page(s) 1-17, ISSN 1433-2779
Éditeur: Springer Verlag
DOI: 10.1007/s10009-021-00638-8

Reasoning About Bounds in Weighted Transition Systems (s’ouvre dans une nouvelle fenêtre)

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

Dependency graphs with applications to verification (s’ouvre dans une nouvelle fenêtre)

Auteurs: Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jiří Srba
Publié dans: International Journal on Software Tools for Technology Transfer, Numéro 5, 2020, Page(s) 635-654, ISSN 1433-2779
Éditeur: Springer Verlag
DOI: 10.1007/s10009-020-00578-9

A Faster-Than Relation for Semi-Markov Decision Processes (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 312, 2019, Page(s) 29-42
Éditeur: Open Publishing Association
DOI: 10.4204/eptcs.312.3

Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (s’ouvre dans une nouvelle fenêtre)

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

Lumpability for Uncertain Continuous-Time Markov Chains (s’ouvre dans une nouvelle fenêtre)

Auteurs: Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Publié dans: 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
Éditeur: Springer
DOI: 10.1007/978-3-030-85172-9_21

Symbolic Model Checking of WeightedPCTL Using Dependency Graphs (s’ouvre dans une nouvelle fenêtre)

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

A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT (s’ouvre dans une nouvelle fenêtre)

Auteurs: Michele Albano, Stefano Chessa, Kim Guldstrand Larsen
Publié dans: 26th IEEE Symposium on Computers and Communications, 2021, ISBN 978-1-6654-2745-6
Éditeur: IEEE
DOI: 10.1109/iscc53001.2021.9631383

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Manfred Jaeger, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Bernard E Legay, Sean Sedwards, Jakob Haahr Taankvist
Publié dans: 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
Éditeur: Springer
DOI: 10.1007/978-3-030-31784-3_5

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata (s’ouvre dans une nouvelle fenêtre)

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

On-the-Fly Synthesis for Strictly Alternating Games (s’ouvre dans une nouvelle fenêtre)

Auteurs: Shyam Lal Karra, Kim Guldstrand Larsen, Marco Antonio Muniz Rodriguez, Jiri Srba
Publié dans: 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
Éditeur: Springer
DOI: 10.1007/978-3-030-51831-8_6

Model checking constrained markov reward models with uncertainties (s’ouvre dans une nouvelle fenêtre)

Auteurs: Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
Publié dans: Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings, 2019, Page(s) 37-51, ISBN 978-3-030-30281-8
Éditeur: Springer
DOI: 10.1007/978-3-030-30281-8_3

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim Guldstrand Larsen
Publié dans: Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019, 2019, ISBN 978-3-95977-121-4
Éditeur: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.4230/lipics.concur.2019.2

Partial order reduction for reachability games (s’ouvre dans une nouvelle fenêtre)

Auteurs: Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jiří Srba
Publié dans: 30th International Conference on Concurrency Theory, CONCUR 2019, 2019, ISBN 9783959771214
Éditeur: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.4230/lipics.concur.2019.23

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim G. Larsen, Radu Mardare, Bingtian Xue
Publié dans: LIPIcs, Numéro 65, 2016, Page(s) 25:1--25:18, ISBN 978-3-95977-027-9
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSTTCS.2016.25

A Complete Approximation Theory for Weighted Transition Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
Publié dans: Lecture Notes in Computer Science, Numéro 9984, 2016, Page(s) 213-228, ISBN 978-3-319-47676-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-47677-3_14

On the Metric-Based Approximate Minimization of Markov Chains (s’ouvre dans une nouvelle fenêtre)

Auteurs: Giovanni Bacci, Giorgio Bacci, Radu Mardare, Kim G. Larsen
Publié dans: LIPIcs, Numéro 80, 2017, Page(s) 104:1--104:14
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.104

Complete Axiomatization for the Bisimilarity Distance on Markov Chains (s’ouvre dans une nouvelle fenêtre)

Auteurs: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Publié dans: LIPIcs, Numéro 59, 2016, Page(s) 21:1--21:14
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2016.21

Unrestricted stone duality for Markov processes (s’ouvre dans une nouvelle fenêtre)

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

Timed Comparisons of Semi-Markov Processes (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mathias R. Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Publié dans: Lecture Notes in Computer Science, Numéro 10792, 2018, Page(s) 271-283
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-77313-1_21

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation (s’ouvre dans une nouvelle fenêtre)

Auteurs: 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
Publié dans: Lecture Notes in Computer Science, Numéro 10258, 2017, Page(s) 139-158, ISBN 978-3-319-57860-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-57861-3_10

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (s’ouvre dans une nouvelle fenêtre)

Auteurs: Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
Publié dans: Lecture Notes in Computer Science, Numéro 10580, 2017, Page(s) 248-265, ISBN 978-3-319-67728-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-67729-3_15

Refinement of Trace Abstraction for Real-Time Programs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Publié dans: Lecture Notes in Computer Science, Numéro 10506, 2017, Page(s) 42-58, ISBN 978-3-319-67088-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-67089-8_4

Symbolic Dependency Graphs for PCTL Model-Checking (s’ouvre dans une nouvelle fenêtre)

Auteurs: Anders Mariegaard, Kim Guldstrand Larsen
Publié dans: Lecture Notes in Computer Science, Numéro 10419, 2017, Page(s) 153-169, ISBN 978-3-319-65764-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-65765-3_9

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata (s’ouvre dans une nouvelle fenêtre)

Auteurs: Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
Publié dans: Lecture Notes in Computer Science, Numéro 10610, 2017, Page(s) 481-495, ISBN 978-3-319-68689-9
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-68690-5_29

Validation, Synthesis and Optimization for Cyber-Physical Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim Guldstrand Larsen
Publié dans: Lecture Notes in Computer Science, Numéro 10205, 2017, Page(s) 3-20, ISBN 978-3-662-54576-8
Éditeur: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54577-5_1

Memory-Efficient Tactics for Randomized LTL Model Checking (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim Larsen, Doron Peled, Sean Sedwards
Publié dans: Lecture Notes in Computer Science, Numéro 10712, 2017, Page(s) 152-169, ISBN 978-3-319-72307-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-72308-2_10

Distributed Algorithms for Time Optimal Reachability Analysis (s’ouvre dans une nouvelle fenêtre)

Auteurs: Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Publié dans: Lecture Notes in Computer Science, Numéro 9884, 2016, Page(s) 157-173, ISBN 978-3-319-44877-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-44878-7_10

Distributed Computation of Fixed Points on Dependency Graphs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jiří Srba
Publié dans: Lecture Notes in Computer Science, Numéro 9984, 2016, Page(s) 197-212, ISBN 978-3-319-47676-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-47677-3_13

Statistical Model Checking: Past, Present, and Future (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim G. Larsen, Axel Legay
Publié dans: Lecture Notes in Computer Science, Numéro 9952, 2016, Page(s) 3-15
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-47166-2_1

On the Power of Statistical Model Checking (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim G. Larsen, Axel Legay
Publié dans: Lecture Notes in Computer Science, Numéro 9953, 2016, Page(s) 843-862, ISBN 978-3-319-47168-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-47169-3_62

Importance Sampling for Stochastic Timed Automata (s’ouvre dans une nouvelle fenêtre)

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

Toolchain for user-centered intelligent floor heating control (s’ouvre dans une nouvelle fenêtre)

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

Dependable and Optimal Cyber-Physical Systems (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim Guldstrand Larsen
Publié dans: Lecture Notes in Computer Science, Numéro 10139, 2017, Page(s) 3-10, ISBN 978-3-319-51962-3
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-51963-0_1

Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata (s’ouvre dans une nouvelle fenêtre)

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

Modelling Attack-defense Trees Using Timed Automata (s’ouvre dans une nouvelle fenêtre)

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

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU (s’ouvre dans une nouvelle fenêtre)

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

Time optimal reachability analysis using swarm verification (s’ouvre dans une nouvelle fenêtre)

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

Timed and Untimed Energy Games

Auteurs: Kim Guldstrand Larsen
Publié dans: Lecture Notes in Computer Science, Numéro 10329, 2017, Page(s) xiii-xvi, ISBN 978-3-319-60133-5
Éditeur: Springer

Online and Compositional Learning of Controllers with Application to Floor Heating (s’ouvre dans une nouvelle fenêtre)

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

"Practical controller synthesis for MTL<sub>0,&#8734;</sub>" (s’ouvre dans une nouvelle fenêtre)

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

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (s’ouvre dans une nouvelle fenêtre)

Auteurs: Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
Publié dans: Lecture Notes in Computer Science, Numéro 9641, 2016, Page(s) 129-146, ISBN 978-3-319-32581-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-32582-8_9

On the Verification of Weighted Kripke Structures Under Uncertainty

Auteurs: Giovanni Bacci, Mikkel Hansen and Kim Guldstrand Larsen
Publié dans: Lecture Notes in Computer Science, 2018
Éditeur: Springer

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

Auteurs: Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn RHM Haverkort, MR Jongerden, Kim G Larsen, Erik R Wognsen
Publié dans: 2016
Éditeur: International Astronautical Federation (IAF)

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

Auteurs: Dmitry Ivanov, Kim Larsen, Sibylle Schupp and Jiri Srba
Publié dans: Lecture Notes in Computer Science, 2018
Éditeur: Springer

Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty

Auteurs: Giovanni Bacci, Kim Guldstrand Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg and Pierre-Alain Reynier
Publié dans: Lecture Notes in Computer Science, 2018
Éditeur: Springer

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

Auteurs: Henrik Schiøler, Luminita Totu, Jan Dimon, Kim Guldstrand Larsen, Jakob Haahr Taankvist
Publié dans: 2018
Éditeur: IEEE/ACM

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

Auteurs: F.M. Boenneland, P.G. Jensen, K.G. Larsen, M. Muniz, J. Srba
Publié dans: Lecture Notes in Computer Science, 2018
Éditeur: Springer

Uppaal Stratego for Intelligent Traffic Lights

Auteurs: Andreas Berre Eriksen, Chao Huang, Jan Kildebogaard, Harry Spaabæk Lahrmann, Kim Guldstrand Larsen, Marco Muniz, Jakob Haahr Taankvist
Publié dans: 2017
Éditeur: ERTICO - ITS Europe

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Auteurs: Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare
Publié dans: Lecture Notes in Computer Science, 2018
Éditeur: Springer

20 Years of Real Real Time Model Validation

Auteurs: Kim Guldstrand Larsen, Florian Lorber and Brian Nielsen
Publié dans: 2018
Éditeur: Springer

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods (s’ouvre dans une nouvelle fenêtre)

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

Battery Aware Analysis of Sensor Networks in Uppaal SMC (s’ouvre dans une nouvelle fenêtre)

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

Safe and Time-Optimal Control for Railway Games (s’ouvre dans une nouvelle fenêtre)

Auteurs: Shyamlal Karra, Kim Guldstrand Larsen, Florian Lorber, Jiri Srba
Publié dans: 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
Éditeur: Springer
DOI: 10.1007/978-3-030-18744-6_7

Randomized Refinement Checking of Timed I/O Automata (s’ouvre dans une nouvelle fenêtre)

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

Model Verification Through Dependency Graphs (s’ouvre dans une nouvelle fenêtre)

Auteurs: Søren Enevoldsen, Kim Guldstrand Larsen, and Jiri Srba
Publié dans: 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
Éditeur: Springer
DOI: 10.1007/978-3-030-30923-7_1

L*-Based Learning of Markov Decision Processes (s’ouvre dans une nouvelle fenêtre)

Auteurs: Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim Guldstrand Larsen
Publié dans: 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
Éditeur: Springer
DOI: 10.1007/978-3-030-30942-8_38

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes (s’ouvre dans une nouvelle fenêtre)

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

Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems (s’ouvre dans une nouvelle fenêtre)

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

Abstract Dependency Graphs and Their Application to Model Checking (s’ouvre dans une nouvelle fenêtre)

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

An Automata-Based Approach to Trace Partitioned Abstract Interpretation (s’ouvre dans une nouvelle fenêtre)

Auteurs: Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
Publié dans: Lecture Notes in Computer Science, Numéro 9560, 2016, Page(s) 88-110, ISBN 978-3-319-27809-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-27810-0_5

Model Checking Real-Time Systems (s’ouvre dans une nouvelle fenêtre)

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

Safe and Optimal Adaptive Cruise Control (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim Guldstrand Larsen, Marius Mikučionis, Jakob Haahr Taankvist
Publié dans: Lecture Notes in Computer Science, Numéro 9360, 2015, Page(s) 260-277, ISBN 978-3-319-23505-9
Éditeur: 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 (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kim G. Larsen, Uli Fahrenberg, Axel Legay
Publié dans: Dependable Software Systems Engineering, Numéro 50, 2017, Page(s) 60-103
Éditeur: IOS Press Ebooks
DOI: 10.3233/978-1-61499-810-5-60

Active Learning of Markov Decision Processesusing Baum-Welch algorithm (s’ouvre dans une nouvelle fenêtre)

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

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0