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.

Sebastian Junges
SearchCollections
Map detail
Sebastian Junges19 visible / 19 total nodes / 53 links

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

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onAuthorshipAuthorshipAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipSebastian JungesASebastian JungesResearcherShields to Guarantee Probabilistic Safety in MDPsWShields to Guarantee Pr...preprint / 2026Linus HeckALinus HeckResearcherFilip MacákAFilip MacákResearcherRoman AndriushchenkoARoman AndriushchenkoResearcherMilan ČeškaAMilan ČeškaResearcherAbstraction-Refinement for Hierarchical Probabilistic ModelsWAbstraction-Refinement ...preprint / 2022Safety-Constrained Reinforcement Learning for MDPsWSafety-Constrained Rein...preprint / 2015Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interactionWProbabilistic Model Che...preprint / 2016Logic in Computer ScienceTLogic in Computer Science2208 worksArtificial IntelligenceTArtificial Intelligence22915 worksParameter Synthesis in Markov Models: A Gentle SurveyWParameter Synthesis in ...preprint / 2022Verification of indefinite-horizon POMDPsWVerification of indefin...preprint / 2020PrIC3: Property Directed Reachability for MDPsWPrIC3: Property Directe...preprint / 2020The Probabilistic Model Checker Storm (Extended Abstract)WThe Probabilistic Model...preprint / 2016Safe Reinforcement Learning via Shielding under Partial ObservabilityWSafe Reinforcement Lear...preprint / 2022Inductive Synthesis for Probabilistic Programs Reaches New HorizonsWInductive Synthesis for...preprint / 2021Scenario-Based Verification of Uncertain MDPsWScenario-Based Verifica...preprint / 2020Parameter Synthesis for Markov Models: Faster Than EverWParameter Synthesis for...preprint / 2016
Person18 links

Sebastian Junges

Researcher

PaperShields to Guarantee Probabilistic Safety in MDPsAuthorship / preprint / 2026PersonLinus HeckCo-authorship / ResearcherPersonFilip MacákCo-authorship / ResearcherPersonRoman AndriushchenkoCo-authorship / ResearcherPersonMilan ČeškaCo-authorship / ResearcherPaperAbstraction-Refinement for Hierarchical Probabilistic ModelsAuthorship / preprint / 2022PaperSafety-Constrained Reinforcement Learning for MDPsAuthorship / preprint / 2015PaperProbabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interactionAuthorship / preprint / 2016

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)