Zobrazeno 1 - 10
of 2 168
pro vyhledávání: '"ZIMMERMANN MARTIN"'
Autor:
Regaud, Gaëtan, Zimmermann, Martin
HyperQPTL and HyperQPTL$^+$ are expressive specification languages for hyperproperties, i.e., properties that relate multiple executions of a system. Tight complexity bounds are known for HyperQPTL finite-state satisfiability and model-checking. Here
Externí odkaz:
http://arxiv.org/abs/2412.07341
We present team semantics for two of the most important linear and branching time specification languages, Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). With team semantics, LTL is able to express hyperproperties, which have in the la
Externí odkaz:
http://arxiv.org/abs/2409.18667
Runtime verification of temporal properties over timed sequences of observations is crucial in various applications within cyber-physical systems ranging from autonomous vehicles over smart grids to medical devices. In this paper, we are addressing t
Externí odkaz:
http://arxiv.org/abs/2409.05456
Publikováno v:
AISoLA 2023
A control system consists of a plant component and a controller which periodically computes a control input for the plant. We consider systems where the controller is implemented by a feedforward neural network with ReLU activations. The reachability
Externí odkaz:
http://arxiv.org/abs/2407.04988
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
Timed B\"uchi automata provide a very expressive formalism for expressing requirements of real-time systems. Online monitoring of embedded real-time systems can then be achieved by symbolic execution of such automata on the trace observed from the sy
Externí odkaz:
http://arxiv.org/abs/2404.18282
Autor:
Winter, Sarah, Zimmermann, Martin
HyperLTL model-checking enables the automated verification of information-flow properties for security-critical systems. However, it only provides a binary answer. Here, we introduce two paradigms to compute counterexamples and explanations for Hyper
Externí odkaz:
http://arxiv.org/abs/2404.18280
Autor:
Thomarat, Laure, Elson, Frank, Nocerino, Elisabetta, Das, Debarchan, Ivashko, Oleh, Bartkowiak, Marek, Månsson, Martin, Sassa, Yasmine, Adachi, Tadashi, Zimmermann, Martin v., Luetkens, Hubertus, Chang, Johan, Janoschek, Marc, Guguchia, Zurab, Simutis, Gediminas
Publikováno v:
Communications Physics 7, 271 (2024)
Strongly correlated electron materials are often characterized by competition and interplay of multiple quantum states. For example, in high-temperature cuprate superconductors unconventional superconductivity, spin- and charge-density wave orders co
Externí odkaz:
http://arxiv.org/abs/2401.13526