Bernd Becker

Identifiers

• name variant Bernd Becker 0.60 · backfill

Papers (8)

1. Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks cs.AI · 2019 · author #5
2. Permissive Finite-State Controllers of POMDPs using Parameter Synthesis cs.LO · 2017 · author #7
3. Strategy Synthesis in POMDPs via Game-Based Abstractions cs.RO · 2017 · author #7
4. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata cs.LO · 2014 · author #5
5. Accelerating Parametric Probabilistic Verification cs.SE · 2013 · author #7
6. Transient Reward Approximation for Continuous-Time Markov Chains cs.LO · 2012 · author #4
7. The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains cs.SE · 2012 · author #8
8. Evolutionary Optimization in Code-Based Test Compression cs.AR · 2007 · author #3

Mentions

• 1206.0603 #8 · backfill · confidence 0.70 Bernd Becker
• 0710.4670 #3 · backfill · confidence 0.70 Bernd Becker

Frequent Coauthors

• Ralf Wimmer 7 shared papers
• Nils Jansen 5 shared papers
• Joost-Pieter Katoen 4 shared papers
• Erika \'Abrah\'am 2 shared papers
• Holger Hermanns 2 shared papers
• Leonore Winterer 2 shared papers
• Matthias Volk 2 shared papers
• Sebastian Junges 2 shared papers
• Ufuk Topcu 2 shared papers
• Alejandro Czutro 1 shared papers
• Alexandru C. Serban 1 shared papers
• Andreas Vorpahl 1 shared papers
• Bettina Braitling 1 shared papers
• Ernst Moritz Hahn 1 shared papers
• Florian Corzilius 1 shared papers
• Hassan Hatefi 1 shared papers
• Ilia Polian 1 shared papers
• Luis Mar\'ia Ferrer Fioriti 1 shared papers
• Maik Scheffler 1 shared papers
• Steven Carr 1 shared papers