Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

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

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (27)
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds (odnośnik otworzy się w nowym oknie)

Autorzy: Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Rasmussen, M. R., Srba, J.
Opublikowane w: IFAC-PapersOnLine : 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021, Strona(/y) 13-18, ISSN 2405-8963
Wydawca: Elsevier
DOI: 10.1016/j.ifacol.2021.08.467

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction (odnośnik otworzy się w nowym oknie)

Autorzy: Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Opublikowane w: Fundamenta Informaticae, Numer 178, 2021, Strona(/y) 31-57, ISSN 0169-2968
Wydawca: IOS Press
DOI: 10.3233/fi-2021-1997

L∗-based learning of Markov decision processes (extended version) (odnośnik otworzy się w nowym oknie)

Autorzy: Tappler, M., Aichernig, B. K., Bacci, G., Eichlseder, M., Larsen, K. G.
Opublikowane w: Formal Aspects of Computing, Numer 33, 4-5, 2021, Strona(/y) 575-615, ISSN 0934-5043
Wydawca: Springer Verlag
DOI: 10.1007/s00165-021-00536-5

On the metric-based approximate minimization of Markov Chains (odnośnik otworzy się w nowym oknie)

Autorzy: Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Opublikowane w: Journal of Logical and Algebraic Methods in Programming, 2018, Strona(/y) 36-56, ISSN 2352-2208
Wydawca: Elsevier
DOI: 10.1016/j.jlamp.2018.05.006

Stubborn Set Reduction for Two-Player Reachability Games (odnośnik otworzy się w nowym oknie)

Autorzy: Frederik Meyer Bønneland ; Peter Gjøl Jensen ; Kim Guldstrand Larsen ; Marco Muñiz ; Jiří Srb
Opublikowane w: Logic in Computer Science, Numer Volume 17, Numer 1, 2021, Strona(/y) 21-26, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-17(1:21)2021

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Opublikowane w: Logic in Computer Science, Numer Volume 17, Numer 1, 2021, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-17(1:9)2021

Model Checking and Synthesis for Branching Multi-Weighted Logics (odnośnik otworzy się w nowym oknie)

Autorzy: J.S. Jensen, Isabella Kaufmann, Kim Guldstrand Larsen, S.M. Nielsen, Jiri Srba
Opublikowane w: Journal of Logic and Algebraic Programming, Numer 105, 2019, Strona(/y) 28-46, ISSN 2352-2208
Wydawca: Elsevier
DOI: 10.1016/j.jlamp.2019.02.001

L*-Based Learning of Markov Decision Processes (Extended Version) (odnośnik otworzy się w nowym oknie)

Autorzy: Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
Opublikowane w: Formal Aspects of Computing, 2021, Strona(/y) 575-615, ISSN 0934-5043
Wydawca: Springer Verlag
DOI: 10.48550/arxiv.1906.12239

Compositional metric reasoning with Probabilistic Process Calculi (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Gebler, Simone Tini, Kim Larsen
Opublikowane w: Logical Methods in Computer Science, Numer 12/4, 2016, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.2168/LMCS-12(4:12)2016

Contracts for System Design (odnośnik otworzy się w nowym oknie)

Autorzy: 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
Opublikowane w: Foundations and Trends® in Electronic Design Automation, Numer 12/2-3, 2018, Strona(/y) 124-400, ISSN 1551-3939
Wydawca: Now Publishers Inc.
DOI: 10.1561/1000000053

Complete Axiomatization for the Total Variation Distance of Markov Chains (odnośnik otworzy się w nowym oknie)

Autorzy: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Opublikowane w: Electronic Notes in Theoretical Computer Science, Numer 336, 2018, Strona(/y) 27-39, ISSN 1571-0661
Wydawca: Elsevier BV
DOI: 10.1016/j.entcs.2018.03.014

On decidability of recursive weighted logics (odnośnik otworzy się w nowym oknie)

Autorzy: Kim G. Larsen, Radu Mardare, Bingtian Xue
Opublikowane w: Soft Computing, Numer 22/4, 2018, Strona(/y) 1085-1102, ISSN 1432-7643
Wydawca: Springer Verlag
DOI: 10.1007/s00500-016-2193-z

Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures (odnośnik otworzy się w nowym oknie)

Autorzy: Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 220, 2016, Strona(/y) 63-75, ISSN 2075-2180
Wydawca: Computing Research Repository (CoRR)
DOI: 10.4204/EPTCS.220.6

Efficient model-checking of weighted CTL with upper-bound constraints (odnośnik otworzy się w nowym oknie)

Autorzy: Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jiří Srba, Lars Kaerlund Oestergaard
Opublikowane w: International Journal on Software Tools for Technology Transfer, Numer 18/4, 2016, Strona(/y) 409-426, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-014-0359-5

Statistical and exact schedulability analysis of hierarchical scheduling systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou
Opublikowane w: Science of Computer Programming, Numer 127, 2016, Strona(/y) 103-130, ISSN 0167-6423
Wydawca: Elsevier BV
DOI: 10.1016/j.scico.2016.05.008

Uppaal SMC tutorial (odnośnik otworzy się w nowym oknie)

Autorzy: Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen
Opublikowane w: International Journal on Software Tools for Technology Transfer, Numer 17/4, 2015, Strona(/y) 397-415, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-014-0361-y

Statistical model checking for biological systems (odnośnik otworzy się w nowym oknie)

Autorzy: Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
Opublikowane w: International Journal on Software Tools for Technology Transfer, Numer 17/3, 2015, Strona(/y) 351-367, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-014-0323-4

Learning deterministic probabilistic automata from a model checking perspective (odnośnik otworzy się w nowym oknie)

Autorzy: Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Opublikowane w: Machine Learning, Numer 105/2, 2016, Strona(/y) 255-299, ISSN 0885-6125
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10994-016-5565-9

Optimizing the resource requirements of hierarchical scheduling systems (odnośnik otworzy się w nowym oknie)

Autorzy: Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
Opublikowane w: ACM SIGBED Review, Numer 13/3, 2016, Strona(/y) 41-48, ISSN 1551-3688
Wydawca: ACM
DOI: 10.1145/2983185.2983192

Average-energy games (odnośnik otworzy się w nowym oknie)

Autorzy: Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen
Opublikowane w: Acta Informatica, Numer 55/2, 2018, Strona(/y) 91-127, ISSN 0001-5903
Wydawca: Springer Verlag
DOI: 10.1007/s00236-016-0274-1

Limit Your Consumption! Finding Bounds in Average-energy Games (odnośnik otworzy się w nowym oknie)

Autorzy: Kim G. Larsen, Simon Laursen, Martin Zimmermann
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 227, 2016, Strona(/y) 1-14, ISSN 2075-2180
Wydawca: EPTCS 227
DOI: 10.4204/EPTCS.227.1

On-the-Fly Computation of Bisimilarity Distances (odnośnik otworzy się w nowym oknie)

Autorzy: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Opublikowane w: Logical Methods in Computer Science, Numer 13/2, 2017, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(2:13)2017

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Autorzy: 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
Opublikowane w: Fundamenta Informaticae, 2018, ISSN 0169-2968
Wydawca: IOS Press

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains (odnośnik otworzy się w nowym oknie)

Autorzy: Giorgio Bacci ; Giovanni Bacci ; Kim G. Larsen ; Radu Mardare
Opublikowane w: Logical Methods in Computer Science, 2018, Strona(/y) 1-29, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-14(4:15)2018

Extended Abstract Dependency Graphs (odnośnik otworzy się w nowym oknie)

Autorzy: Enevoldsen, S., Larsen, K. G., Srba, J.
Opublikowane w: International Journal on Software Tools for Technology Transfer, 2021, Strona(/y) 1-17, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-021-00638-8

Reasoning About Bounds in Weighted Transition Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Mikkel Hansen ; Kim Guldstrand Larsen ; Radu Mardare ; Mathias Ruggaard Pedersen
Opublikowane w: Logical Methods in Computer Science, 2018, Strona(/y) 1-32, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-14(4:19)2018

Dependency graphs with applications to verification (odnośnik otworzy się w nowym oknie)

Autorzy: Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jiří Srba
Opublikowane w: International Journal on Software Tools for Technology Transfer, Numer 5, 2020, Strona(/y) 635-654, ISSN 1433-2779
Wydawca: Springer Verlag
DOI: 10.1007/s10009-020-00578-9

Conference proceedings (56)
A Faster-Than Relation for Semi-Markov Decision Processes (odnośnik otworzy się w nowym oknie)

Autorzy: Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 312, 2019, Strona(/y) 29-42
Wydawca: Open Publishing Association
DOI: 10.4204/eptcs.312.3

Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (odnośnik otworzy się w nowym oknie)

Autorzy: Isabella Kaufmann, Kim Guldstrand Larsen, Jiří Srba
Opublikowane w: Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings, 2020, Strona(/y) 46-66, ISBN 9783030518301
Wydawca: Springer VS
DOI: 10.1007/978-3-030-51831-8_3

Lumpability for Uncertain Continuous-Time Markov Chains (odnośnik otworzy się w nowym oknie)

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

Symbolic Model Checking of WeightedPCTL Using Dependency Graphs (odnośnik otworzy się w nowym oknie)

Autorzy: Mathias Claus Jensen, Anders Mariegaard, and Kim Guldstrand Larsen
Opublikowane w: NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings, 2019, Strona(/y) 298-315, ISBN 978-3-030-20651-2
Wydawca: Springer
DOI: 10.1007/978-3-030-20652-9_20

A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT (odnośnik otworzy się w nowym oknie)

Autorzy: Michele Albano, Stefano Chessa, Kim Guldstrand Larsen
Opublikowane w: 26th IEEE Symposium on Computers and Communications, 2021, ISBN 978-1-6654-2745-6
Wydawca: IEEE
DOI: 10.1109/iscc53001.2021.9631383

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs (odnośnik otworzy się w nowym oknie)

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

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata (odnośnik otworzy się w nowym oknie)

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

On-the-Fly Synthesis for Strictly Alternating Games (odnośnik otworzy się w nowym oknie)

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

Model checking constrained markov reward models with uncertainties (odnośnik otworzy się w nowym oknie)

Autorzy: Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
Opublikowane w: Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings, 2019, Strona(/y) 37-51, ISBN 978-3-030-30281-8
Wydawca: Springer
DOI: 10.1007/978-3-030-30281-8_3

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (odnośnik otworzy się w nowym oknie)

Autorzy: Kim Guldstrand Larsen
Opublikowane w: Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019, 2019, ISBN 978-3-95977-121-4
Wydawca: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
DOI: 10.4230/lipics.concur.2019.2

Partial order reduction for reachability games (odnośnik otworzy się w nowym oknie)

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

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization (odnośnik otworzy się w nowym oknie)

Autorzy: Kim G. Larsen, Radu Mardare, Bingtian Xue
Opublikowane w: LIPIcs, Numer 65, 2016, Strona(/y) 25:1--25:18, ISBN 978-3-95977-027-9
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSTTCS.2016.25

A Complete Approximation Theory for Weighted Transition Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
Opublikowane w: Lecture Notes in Computer Science, Numer 9984, 2016, Strona(/y) 213-228, ISBN 978-3-319-47676-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-47677-3_14

On the Metric-Based Approximate Minimization of Markov Chains (odnośnik otworzy się w nowym oknie)

Autorzy: Giovanni Bacci, Giorgio Bacci, Radu Mardare, Kim G. Larsen
Opublikowane w: LIPIcs, Numer 80, 2017, Strona(/y) 104:1--104:14
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2017.104

Complete Axiomatization for the Bisimilarity Distance on Markov Chains (odnośnik otworzy się w nowym oknie)

Autorzy: Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Opublikowane w: LIPIcs, Numer 59, 2016, Strona(/y) 21:1--21:14
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.CONCUR.2016.21

Unrestricted stone duality for Markov processes (odnośnik otworzy się w nowym oknie)

Autorzy: Robert Furber, Dexter Kozen, Kim Larsen, Radu Mardare, Prakash Panangaden
Opublikowane w: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Strona(/y) 1-9, ISBN 978-1-5090-3018-7
Wydawca: IEEE
DOI: 10.1109/LICS.2017.8005152

Timed Comparisons of Semi-Markov Processes (odnośnik otworzy się w nowym oknie)

Autorzy: Mathias R. Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Opublikowane w: Lecture Notes in Computer Science, Numer 10792, 2018, Strona(/y) 271-283
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-77313-1_21

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation (odnośnik otworzy się w nowym oknie)

Autorzy: 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
Opublikowane w: Lecture Notes in Computer Science, Numer 10258, 2017, Strona(/y) 139-158, ISBN 978-3-319-57860-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-57861-3_10

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing (odnośnik otworzy się w nowym oknie)

Autorzy: Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
Opublikowane w: Lecture Notes in Computer Science, Numer 10580, 2017, Strona(/y) 248-265, ISBN 978-3-319-67728-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-67729-3_15

Refinement of Trace Abstraction for Real-Time Programs (odnośnik otworzy się w nowym oknie)

Autorzy: Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
Opublikowane w: Lecture Notes in Computer Science, Numer 10506, 2017, Strona(/y) 42-58, ISBN 978-3-319-67088-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-67089-8_4

Symbolic Dependency Graphs for PCTL Model-Checking (odnośnik otworzy się w nowym oknie)

Autorzy: Anders Mariegaard, Kim Guldstrand Larsen
Opublikowane w: Lecture Notes in Computer Science, Numer 10419, 2017, Strona(/y) 153-169, ISBN 978-3-319-65764-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-65765-3_9

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
Opublikowane w: Lecture Notes in Computer Science, Numer 10610, 2017, Strona(/y) 481-495, ISBN 978-3-319-68689-9
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-68690-5_29

Validation, Synthesis and Optimization for Cyber-Physical Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Kim Guldstrand Larsen
Opublikowane w: Lecture Notes in Computer Science, Numer 10205, 2017, Strona(/y) 3-20, ISBN 978-3-662-54576-8
Wydawca: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-54577-5_1

Memory-Efficient Tactics for Randomized LTL Model Checking (odnośnik otworzy się w nowym oknie)

Autorzy: Kim Larsen, Doron Peled, Sean Sedwards
Opublikowane w: Lecture Notes in Computer Science, Numer 10712, 2017, Strona(/y) 152-169, ISBN 978-3-319-72307-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-72308-2_10

Distributed Algorithms for Time Optimal Reachability Analysis (odnośnik otworzy się w nowym oknie)

Autorzy: Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Opublikowane w: Lecture Notes in Computer Science, Numer 9884, 2016, Strona(/y) 157-173, ISBN 978-3-319-44877-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-44878-7_10

Distributed Computation of Fixed Points on Dependency Graphs (odnośnik otworzy się w nowym oknie)

Autorzy: Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jiří Srba
Opublikowane w: Lecture Notes in Computer Science, Numer 9984, 2016, Strona(/y) 197-212, ISBN 978-3-319-47676-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-47677-3_13

Statistical Model Checking: Past, Present, and Future (odnośnik otworzy się w nowym oknie)

Autorzy: Kim G. Larsen, Axel Legay
Opublikowane w: Lecture Notes in Computer Science, Numer 9952, 2016, Strona(/y) 3-15
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-47166-2_1

On the Power of Statistical Model Checking (odnośnik otworzy się w nowym oknie)

Autorzy: Kim G. Larsen, Axel Legay
Opublikowane w: Lecture Notes in Computer Science, Numer 9953, 2016, Strona(/y) 843-862, ISBN 978-3-319-47168-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-47169-3_62

Importance Sampling for Stochastic Timed Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Cyrille Jegourel, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
Opublikowane w: Lecture Notes in Computer Science, Numer 9984, 2016, Strona(/y) 163-178, ISBN 978-3-319-47676-6
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-47677-3_11

Toolchain for user-centered intelligent floor heating control (odnośnik otworzy się w nowym oknie)

Autorzy: Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muniz, Petur Olsen, Thomas Pedersen, Jiri Srba, Arne Skou
Opublikowane w: IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, 2016, Strona(/y) 5296-5301, ISBN 978-1-5090-3474-1
Wydawca: IEEE
DOI: 10.1109/IECON.2016.7794040

Dependable and Optimal Cyber-Physical Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Kim Guldstrand Larsen
Opublikowane w: Lecture Notes in Computer Science, Numer 10139, 2017, Strona(/y) 3-10, ISBN 978-3-319-51962-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-51963-0_1

Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata (odnośnik otworzy się w nowym oknie)

Autorzy: René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Opublikowane w: Lecture Notes in Computer Science, Numer 10744, 2017, Strona(/y) 75-90, ISBN 978-3-319-74859-7
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-74860-3_5

Modelling Attack-defense Trees Using Timed Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Olga Gadyatskaya, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Mads Chr. Olesen, Danny Bøgsted Poulsen
Opublikowane w: Lecture Notes in Computer Science, Numer 9884, 2016, Strona(/y) 35-50, ISBN 978-3-319-44877-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-44878-7_3

Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU (odnośnik otworzy się w nowym oknie)

Autorzy: Peter Gjol Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman
Opublikowane w: 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS), 2017, Strona(/y) 11-19, ISBN 978-1-5386-2431-9
Wydawca: IEEE
DOI: 10.1109/ICECCS.2017.33

Time optimal reachability analysis using swarm verification (odnośnik otworzy się w nowym oknie)

Autorzy: Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Opublikowane w: Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, 2016, Strona(/y) 1634-1640, ISBN 9781-450337397
Wydawca: ACM Press
DOI: 10.1145/2851613.2851828

Timed and Untimed Energy Games

Autorzy: Kim Guldstrand Larsen
Opublikowane w: Lecture Notes in Computer Science, Numer 10329, 2017, Strona(/y) xiii-xvi, ISBN 978-3-319-60133-5
Wydawca: Springer

Online and Compositional Learning of Controllers with Application to Floor Heating (odnośnik otworzy się w nowym oknie)

Autorzy: Kim G. Larsen, Marius Mikučionis, Marco Muñiz, Jiří Srba, Jakob Haahr Taankvist
Opublikowane w: Lecture Notes in Computer Science, Numer 9636, 2016, Strona(/y) 244-259, ISBN 978-3-662-49673-2
Wydawca: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-49674-9_14

"Practical controller synthesis for MTL<sub>0,&#8734;</sub>" (odnośnik otworzy się w nowym oknie)

Autorzy: Guangyuan Li, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen
Opublikowane w: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017, 2017, Strona(/y) 102-111, ISBN 9781450350778
Wydawca: ACM Press
DOI: 10.1145/3092282.3092303

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (odnośnik otworzy się w nowym oknie)

Autorzy: Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
Opublikowane w: Lecture Notes in Computer Science, Numer 9641, 2016, Strona(/y) 129-146, ISBN 978-3-319-32581-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-32582-8_9

On the Verification of Weighted Kripke Structures Under Uncertainty

Autorzy: Giovanni Bacci, Mikkel Hansen and Kim Guldstrand Larsen
Opublikowane w: Lecture Notes in Computer Science, 2018
Wydawca: Springer

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

Autorzy: Gilles Nies, Marvin Stenger, Jan Krčál, Holger Hermanns, Morten Bisgaard, David Gerhardt, Boudewijn RHM Haverkort, MR Jongerden, Kim G Larsen, Erik R Wognsen
Opublikowane w: 2016
Wydawca: International Astronautical Federation (IAF)

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

Autorzy: Dmitry Ivanov, Kim Larsen, Sibylle Schupp and Jiri Srba
Opublikowane w: Lecture Notes in Computer Science, 2018
Wydawca: Springer

Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty

Autorzy: Giovanni Bacci, Kim Guldstrand Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg and Pierre-Alain Reynier
Opublikowane w: Lecture Notes in Computer Science, 2018
Wydawca: Springer

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

Autorzy: Henrik Schiøler, Luminita Totu, Jan Dimon, Kim Guldstrand Larsen, Jakob Haahr Taankvist
Opublikowane w: 2018
Wydawca: IEEE/ACM

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

Autorzy: F.M. Boenneland, P.G. Jensen, K.G. Larsen, M. Muniz, J. Srba
Opublikowane w: Lecture Notes in Computer Science, 2018
Wydawca: Springer

Uppaal Stratego for Intelligent Traffic Lights

Autorzy: Andreas Berre Eriksen, Chao Huang, Jan Kildebogaard, Harry Spaabæk Lahrmann, Kim Guldstrand Larsen, Marco Muniz, Jakob Haahr Taankvist
Opublikowane w: 2017
Wydawca: ERTICO - ITS Europe

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Autorzy: Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare
Opublikowane w: Lecture Notes in Computer Science, 2018
Wydawca: Springer

20 Years of Real Real Time Model Validation

Autorzy: Kim Guldstrand Larsen, Florian Lorber and Brian Nielsen
Opublikowane w: 2018
Wydawca: Springer

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods (odnośnik otworzy się w nowym oknie)

Autorzy: Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Opublikowane w: 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Strona(/y) 1-14, ISBN 978-1-6654-4896-3
Wydawca: IEEE
DOI: 10.1109/lics52264.2021.9470555

Battery Aware Analysis of Sensor Networks in Uppaal SMC (odnośnik otworzy się w nowym oknie)

Autorzy: Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Hoedholt, Christian Ø. Laursen
Opublikowane w: 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021, 2021, Strona(/y) 1-6, ISBN 978-1-6654-3911-4
Wydawca: IEEE
DOI: 10.1109/meco52532.2021.9460152

Safe and Time-Optimal Control for Railway Games (odnośnik otworzy się w nowym oknie)

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

Randomized Refinement Checking of Timed I/O Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
Opublikowane w: Proceedings of SETTA 2020 : Dependable Software Engineering. Theories, Tools, and Applications, 2020, Strona(/y) 70-88, ISBN 978-3-030-62821-5
Wydawca: Springer
DOI: 10.1007/978-3-030-62822-2_5

Model Verification Through Dependency Graphs (odnośnik otworzy się w nowym oknie)

Autorzy: Søren Enevoldsen, Kim Guldstrand Larsen, and Jiri Srba
Opublikowane w: Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19), 2019, Strona(/y) 1-19, ISBN 978-3-030-30922-0
Wydawca: Springer
DOI: 10.1007/978-3-030-30923-7_1

L*-Based Learning of Markov Decision Processes (odnośnik otworzy się w nowym oknie)

Autorzy: Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim Guldstrand Larsen
Opublikowane w: Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings : FM 2019: Formal Methods – The Next 30 Years, 2019, Strona(/y) 651-669, ISBN 978-3-030-30941-1
Wydawca: Springer
DOI: 10.1007/978-3-030-30942-8_38

SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes (odnośnik otworzy się w nowym oknie)

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

Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Kiviriga, A., Larsen, K. G., Nyman, U.
Opublikowane w: Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings, 2021, Strona(/y) 149-166, ISBN 9783030852474
Wydawca: Springer Science+Business Media
DOI: 10.1007/978-3-030-85248-1_9

Book chapters (6)
Abstract Dependency Graphs and Their Application to Model Checking (odnośnik otworzy się w nowym oknie)

Autorzy: Søren Enevoldsen, Kim Guldstrand Larsen, and Jiri Srba
Opublikowane w: Tools and Algorithms for the Construction and Analysis of Systems, 2019, Strona(/y) 316-333, ISBN 978-3-030-17461-3
Wydawca: Springer, Cham
DOI: 10.1007/978-3-030-17462-0

An Automata-Based Approach to Trace Partitioned Abstract Interpretation (odnośnik otworzy się w nowym oknie)

Autorzy: Mads Christian Olesen, René Rydhof Hansen, Kim Guldstrand Larsen
Opublikowane w: Lecture Notes in Computer Science, Numer 9560, 2016, Strona(/y) 88-110, ISBN 978-3-319-27809-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-27810-0_5

Model Checking Real-Time Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
Opublikowane w: Handbook of Model Checking, 2018, Strona(/y) 1001-1046
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-10575-8_29

Safe and Optimal Adaptive Cruise Control (odnośnik otworzy się w nowym oknie)

Autorzy: Kim Guldstrand Larsen, Marius Mikučionis, Jakob Haahr Taankvist
Opublikowane w: Lecture Notes in Computer Science, Numer 9360, 2015, Strona(/y) 260-277, ISBN 978-3-319-23505-9
Wydawca: 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 (odnośnik otworzy się w nowym oknie)

Autorzy: Kim G. Larsen, Uli Fahrenberg, Axel Legay
Opublikowane w: Dependable Software Systems Engineering, Numer 50, 2017, Strona(/y) 60-103
Wydawca: IOS Press Ebooks
DOI: 10.3233/978-1-61499-810-5-60

Active Learning of Markov Decision Processesusing Baum-Welch algorithm (odnośnik otworzy się w nowym oknie)

Autorzy: Active Learning of Markov Decision Processes using Baum-Welch algorithm
Opublikowane w: 2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA), 2021, Strona(/y) 1203-1208, ISBN 978-1-6654-4337-1
Wydawca: IEEE
DOI: 10.1109/icmla52953.2021.00195

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony

Ostatnia aktualizacja: 4 Maja 2023

Moja broszura

Permalink: https://cordis.europa.eu/project/id/669844/results/pl

European Union, 2025

Moja broszura 0 0