Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Ruediger Ehlers
Researcher
PaperGeneralised Rabin(1) synthesisAuthorship / preprint / 2010PaperSmall witnesses, accepting lassos and winning strategies in omega-automata and gamesAuthorship / preprint / 2011PaperComputing the Complete Pareto FrontAuthorship / preprint / 2015PaperSynthesizing Transducers from Complex SpecificationsAuthorship / preprint / 2022PaperCorrect-by-synthesis reinforcement learning with temporal logic constraintsAuthorship / preprint / 2015PaperCooperative Reactive SynthesisAuthorship / preprint / 2015PaperDynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot ControlAuthorship / preprint / 2016