Zobrazeno 1 - 10
of 522
pro vyhledávání: '"Larsen, Kim Guldstrand"'
Combining machine learning and formal methods (FMs) provides a possible solution to overcome the safety issue of autonomous driving (AD) vehicles. However, there are gaps to be bridged before this combination becomes practically applicable and useful
Externí odkaz:
http://arxiv.org/abs/2408.01093
Autor:
Brorholt, Asger Horn, Høeg-Petersen, Andreas Holck, Larsen, Kim Guldstrand, Schilling, Christian
Publikováno v:
AISoLA 2024
We consider the problem of synthesizing safety strategies for control systems, also known as shields. Since the state space is infinite, shields are typically computed over a finite-state abstraction, with the most common abstraction being a rectangu
Externí odkaz:
http://arxiv.org/abs/2407.19911
Nfer is a Runtime Verification language for the analysis of event traces that applies rules to create hierarchies of time intervals. This work examines the complexity of the evaluation and satisfiability problems for the data-free fragment of nfer. T
Externí odkaz:
http://arxiv.org/abs/2407.03155
Autor:
Brorholt, Asger Horn, Jensen, Peter Gjøl, Larsen, Kim Guldstrand, Lorber, Florian, Schilling, Christian
Publikováno v:
AISoLA 2023
Safe and optimal controller synthesis for switched-controlled hybrid systems, which combine differential equations and discrete changes of the system's state, is known to be intricately hard. Reinforcement learning has been leveraged to construct nea
Externí odkaz:
http://arxiv.org/abs/2308.14424
In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed B\"uchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploi
Externí odkaz:
http://arxiv.org/abs/2206.14590
We address the safety verification and synthesis problems for real-time systems. We introduce real-time programs that are made of instructions that can perform assignments to discrete and real-valued variables. They are general enough to capture inte
Externí odkaz:
http://arxiv.org/abs/2007.10539
Autor:
Bloem, Roderick, Jensen, Peter Gjøl, Könighofer, Bettina, Larsen, Kim Guldstrand, Lorber, Florian, Palmisano, Alexander
Erroneous behaviour in safety critical real-time systems may inflict serious consequences. In this paper, we show how to synthesize timed shields from timed safety properties given as timed automata. A timed shield enforces the safety of a running sy
Externí odkaz:
http://arxiv.org/abs/2006.16688