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.

Christel Baier
SearchCollections
Map detail
Christel Baier13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipChristel BaierAChristel BaierResearcherOn probability-raising causality in Markov decision processesWOn probability-raising ...preprint / 2022Verifying nondeterministic probabilistic channel systems against $ω$-regular linear-time propertiesWVerifying nondeterminis...preprint / 2006Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System CodeWChiefly Symmetric: Resu...preprint / 2012On Skolem-hardness and saturation points in Markov decision processesWOn Skolem-hardness and ...preprint / 2020Computing Quantiles in Markov Reward ModelsWComputing Quantiles in ...preprint / 2013Causality in Configurable Software SystemsWCausality in Configurab...preprint / 2022The variance-penalized stochastic shortest path problemWThe variance-penalized ...preprint / 2022Minimal witnesses for probabilistic timed automataWMinimal witnesses for p...preprint / 2020Iterative Variable Reordering: Taming Huge System FamiliesWIterative Variable Reor...preprint / 2020Reduction Methods on Probabilistic Control-flow Programs for Reliability AnalysisWReduction Methods on Pr...preprint / 2020Farkas certificates and minimal witnesses for probabilistic reachability constraintsWFarkas certificates and...preprint / 2020Probabilistic Model Checking for Energy Analysis in Software Product LinesWProbabilistic Model Che...preprint / 2013
Person12 links

Christel Baier

Researcher

PaperOn probability-raising causality in Markov decision processesAuthorship / preprint / 2022PaperVerifying nondeterministic probabilistic channel systems against ωω-regular linear-time propertiesAuthorship / preprint / 2006PaperChiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System CodeAuthorship / preprint / 2012PaperOn Skolem-hardness and saturation points in Markov decision processesAuthorship / preprint / 2020PaperComputing Quantiles in Markov Reward ModelsAuthorship / preprint / 2013PaperCausality in Configurable Software SystemsAuthorship / preprint / 2022PaperThe variance-penalized stochastic shortest path problemAuthorship / preprint / 2022PaperMinimal witnesses for probabilistic timed automataAuthorship / preprint / 2020

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)