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.

Ralf Wimmer
SearchCollections
Map detail
Ralf Wimmer8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipRalf WimmerARalf WimmerResearcherHigh-level Counterexamples for Probabilistic AutomataWHigh-level Counterexamp...preprint / 2015Strengthening Deterministic Policies for POMDPsWStrengthening Determini...preprint / 2020Transient Reward Approximation for Continuous-Time Markov ChainsWTransient Reward Approx...preprint / 2015Solving Dependency Quantified Boolean Formulas Using Quantifier LocalizationWSolving Dependency Quan...preprint / 2021Accelerating Parametric Probabilistic VerificationWAccelerating Parametric...preprint / 2014MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov AutomataWMeGARA: Menu-based Game...preprint / 2014The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov ChainsWThe COMICS Tool - Compu...preprint / 2012
Person7 links

Ralf Wimmer

Researcher

PaperHigh-level Counterexamples for Probabilistic AutomataAuthorship / preprint / 2015PaperStrengthening Deterministic Policies for POMDPsAuthorship / preprint / 2020PaperTransient Reward Approximation for Continuous-Time Markov ChainsAuthorship / preprint / 2015PaperSolving Dependency Quantified Boolean Formulas Using Quantifier LocalizationAuthorship / preprint / 2021PaperAccelerating Parametric Probabilistic VerificationAuthorship / preprint / 2014PaperMeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov AutomataAuthorship / 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)