10 citations · 15 across the 2 of their papers we have counts for
3 papers · 1 filter
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…