引用次数
引用: 3,036
H-指数: 21
I10-指数 : 40
出版物: 88
Symbolic bounded synthesis
EhlersRüdiger
Formal Methods in System Design
107
2012
Symmetric and efficient synthesis
Rüdiger Ehlers
6
2013
Counterexample-Guided EF Synthesis of Boolean Functions.
Heinz Riener , Görschwin Fey , Rüdiger Ehlers
MBMV 67 -74
2017
Exact Synthesis of ESOP Forms
Giovanni De Micheli , Heinz Riener , Rüdiger Ehlers , Bruno Schmitt
arXiv: Logic in Computer Science
17
2018
Embedded software for robotics: challenges and future directions: special session
Dogan Ulus , Yasser Shoukry , Georgios Fainekos , Houssam Abbas
embedded software 10
2
2018
Safe Multi-Agent Reinforcement Learning via Shielding
Christopher Amato , Ufuk Topcu , Lu Feng , Rüdiger Ehlers
arXiv: Learning
26
2021
On the virtue of patience: minimizing Büchi automata
Rüdiger Ehlers , Bernd Finkbeiner
international spin conference on model checking software 129 -145
12
2010
ALLQBF Solving by Computational Learning
Bernd Becker , Rüdiger Ehlers , Matthew Lewis , Paolo Marin
Automated Technology for Verification and Analysis 370 -384
11
2012
Automated generation of dynamics-based runtime certificates for high-level control
Jonathan DeCastro , Rüdiger Ehlers , Matthias Rungger , Ayça Balkan
Discrete Event Dynamic Systems 27 ( 2) 371 -405
4
2017
A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic
Rüdiger Ehlers , Martin Lange
international joint conference on automated reasoning 360 -366
2014
Correct High-level Robot Behavior in Environments with Unexpected Events
Kai Weng Wong , Rüdiger Ehlers , Hadas Kress-Gazit
robotics science and systems 10
25
2014
A Fragment of Linear Temporal Logic for Universal Very Weak Automata
Keerthi Adabala , Rüdiger Ehlers
automated technology for verification and analysis 335 -351
3
2018
Cooperative Reactive Synthesis
Roderick Bloem , Rüdiger Ehlers , Robert Könighofer
Automated Technology for Verification and Analysis 394 -410
24
2015
Minimising deterministic Büchi automata precisely using SAT solving
Rüdiger Ehlers
theory and applications of satisfiability testing 326 -332
21
2010
Model Checking the FlexRay Physical Layer Protocol
Michael Gerke , Rüdiger Ehlers , Bernd Finkbeiner , Hans-Jörg Peter
Formal Methods for Industrial Critical Systems 6371 132 -147
12
2010
Unbeast: symbolic bounded synthesis
Rüdiger Ehlers
tools and algorithms for construction and analysis of systems 272 -275
101
2011
Estimator-based reactive synthesis under incomplete information
Rüdiger Ehlers , Ufuk Topcu
international conference on hybrid systems computation and control 249 -258
12
2015
Synthia: verification and synthesis for timed automata
Hans-Jörg Peter , Rüdiger Ehlers , Robert Mattmüller
computer aided verification 649 -655
20
2011
Making the right cut in model checking data-intensive timed systems
Rüdiger Ehlers , Michael Gerke , Hans-Jörg Peter
international conference on formal engineering methods 565 -580
3
2010
Short Witnesses and Accepting Lassos in ω-Automata
Rüdiger Ehlers
Language and Automata Theory and Applications 261 -272
14
2010