Graph explorer

Research map

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

Nils Jansen
Map detail
Nils Jansen24 visible / 24 total nodes / 80 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-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalNils JansenANils JansenResearcherRobust Probabilistic Shielding for Safe Offline Reinforcement LearningWRobust Probabilistic Sh...preprint / 2026Missingness-MDPs: Bridging the Theory of Missing Data and POMDPsWMissingness-MDPs: Bridg...preprint / 2026Maris F. L. GaleslootAMaris F. L. GaleslootResearcherJoshua WendlandAJoshua WendlandResearcherMarkel ZubiaAMarkel ZubiaResearcherRoman AndriushchenkoARoman AndriushchenkoResearcherMilan ČeškaAMilan ČeškaResearcherHenrik von KleistAHenrik von KleistResearcherThiago D. SimaoAThiago D. SimaoResearcherMaximilian WeiningerAMaximilian WeiningerResearcherThomas RhemrevAThomas RhemrevResearcherArtificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 worksParameter Synthesis in Markov Models: A Gentle SurveyWParameter Synthesis in ...preprint / 2022Accelerating Parametric Probabilistic VerificationWAccelerating Parametric...preprint / 2014The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov ChainsWThe COMICS Tool - Compu...preprint / 2012Bounded Model Checking for Probabilistic ProgramsWBounded Model Checking ...preprint / 2016Synthesis of Shared Control Protocols with Provable Safety and Performance GuaranteesWSynthesis of Shared Con...preprint / 2016Safe Reinforcement Learning via Shielding under Partial ObservabilityWSafe Reinforcement Lear...preprint / 2022Robustness Verification for Classifier EnsemblesWRobustness Verification...preprint / 2020Scenario-Based Verification of Uncertain MDPsWScenario-Based Verifica...preprint / 2020Verifiable RNN-Based Policies for POMDPs Under Temporal Logic ConstraintsWVerifiable RNN-Based Po...preprint / 2020Robust Policy Synthesis for Uncertain POMDPs via Convex OptimizationWRobust Policy Synthesis...preprint / 2020
Person22 links

Nils Jansen

Researcher