119 citations · 468 across the 38 of their papers we have counts for
5 papers · 1 filter
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
Roderick Bloem, Goerschwin Fey, Fabian Greif +4
Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a n…
Bounded Synthesis of Register Transducers
Ayrat Khalimov, Benedikt Maderbacher, Roderick Bloem
Reactive synthesis aims at automatic construction of systems from their behavioural specifications. The research mostly focuses on synthesis of systems dealing with Boolean signals…
Expansion-Based QBF Solving Without Recursion
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic +3
In recent years, expansion-based techniques have been shown to be very powerful in theory and practice for solving quantified Boolean formulas (QBF), the extension of propositional…
Safe Reinforcement Learning via Probabilistic Shields
Nils Jansen, Bettina Könighofer, Sebastian Junges +2
This paper targets the efficient construction of a safety shield for decision making in scenarios that incorporate uncertainty. Markov decision processes (MDPs) are prominent model…
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Ezio Bartocci, Roderick Bloem, Dejan Nickovic +1
We consider the problem of monitoring a Linear Time Logic (LTL) specification that is defined on infinite paths, over finite traces. For example, we may need to draw a verdict on w…