BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Bernd Becker
SearchCollections
Map detail
Bernd Becker8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBernd BeckerABernd BeckerResearcherEvolutionary Optimization in Code-Based Test CompressionWEvolutionary Optimizati...preprint / 2007Strengthening Deterministic Policies for POMDPsWStrengthening Determini...preprint / 2020Transient Reward Approximation for Continuous-Time Markov ChainsWTransient Reward Approx...preprint / 2015MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov AutomataWMeGARA: Menu-based Game...preprint / 2014Everything You Always Wanted to Know About Generalization of Proof Obligations in PDRWEverything You Always W...preprint / 2022Accelerating Parametric Probabilistic VerificationWAccelerating Parametric...preprint / 2014The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov ChainsWThe COMICS Tool - Compu...preprint / 2012
Person7 links

Bernd Becker

Researcher

PaperEvolutionary Optimization in Code-Based Test CompressionAuthorship / preprint / 2007PaperStrengthening Deterministic Policies for POMDPsAuthorship / preprint / 2020PaperTransient Reward Approximation for Continuous-Time Markov ChainsAuthorship / preprint / 2015PaperMeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov AutomataAuthorship / preprint / 2014PaperEverything You Always Wanted to Know About Generalization of Proof Obligations in PDRAuthorship / preprint / 2022PaperAccelerating Parametric Probabilistic VerificationAuthorship / preprint / 2014PaperThe COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov ChainsAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)