150 citations · 548 across the 51 of their papers we have counts for
5 papers · 1 filter
Mixed Nondeterministic-Probabilistic Interfaces
Albert Benveniste, Kim Larsen, Jean-Baptiste Raclet
Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition.…
Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen
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 discr…
It's Time to Play Safe: Shield Synthesis for Timed Systems
Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer +3
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…
Approximating Euclidean by Imprecise Markov Decision Processes
Manfred Jaeger, Giorgio Bacci, Giovanni Bacci +2
Euclidean Markov decision processes are a powerful tool for modeling control problems under uncertainty over continuous domains. Finite state imprecise, Markov decision processes c…
A general framework for defining and optimizing robustness
Alessandro Tibo, Manfred Jaeger, Kim G. Larsen
Robustness of neural networks has recently attracted a great amount of interest. The many investigations in this area lack a precise common foundation of robustness concepts. There…