48 citations · 172 across the 22 of their papers we have counts for
5 papers · 1 filter
Computing the Complete Pareto Front
Ruediger Ehlers
We give an efficient algorithm to enumerate all elements of a Pareto front in a multi-objective optimization problem in which the space of values is finite for all objectives. Our…
Cooperative Reactive Synthesis
Roderick Bloem, Ruediger Ehlers, Robert Koenighofer
A modern approach to engineering correct-by-construction systems is to synthesize them automatically from formal specifications. Oftentimes, a system can only satisfy its guarantee…
The First Reactive Synthesis Competition (SYNTCOMP 2014)
Swen Jacobs, Roderick Bloem, Romain Brenguier +10
We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for re…
Path-Based Program Repair
Heinz Riener, Rüdiger Ehlers, Görschwin Fey
We propose a path-based approach to program repair for imperative programs. Our repair framework takes as input a faulty program, a logic specification that is refuted, and a hint…
Correct-by-synthesis reinforcement learning with temporal logic constraints
Min Wen, Ruediger Ehlers, Ufuk Topcu
We consider a problem on the synthesis of reactive controllers that optimize some a priori unknown performance criterion while interacting with an uncontrolled environment such tha…