Nils Jansen

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 139

Top Venues

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. ECC (2024)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. CoRR (2024)
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
CTMCs with Imprecisely Timed Observations. CoRR (2024)
Christoph Schmidl, Thiago D. Simão, Nils Jansen
A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling. ICAART (3) (2024)
Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. CoRR (2024)
Wietze Koops, Sebastian Junges, Nils Jansen
Approximate Dec-POMDP Solving Using Multi-Agent A. CoRR (2024)
Lisandro Arturo Jimenez-Roa, Thiago D. Simão, Zaharah Allah Bukhsh, Tiedo Tinga, Hajo Molegraaf, Nils Jansen, Mariëlle Stoelinga
Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning. CoRR (2024)
Thom S. Badings, Wietze Koops, Sebastian Junges, Nils Jansen
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. CoRR (2024)
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
Factored Online Planning in Many-Agent POMDPs. AAAI (2024)
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des. 62 (1) (2024)
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
Tools at the Frontiers of Quantitative Verification. CoRR (2024)
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
Robust Active Measuring under Model Uncertainty. AAAI (2024)
Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
CTMCs with Imprecisely Timed Observations. TACAS (2) (2024)
Nils Jansen, Gerrit Nolte, Bernhard Steffen
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan
Reinforcement Learning by Guided Safe Exploration. CoRR (2023)
Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão
Recursive Small-Step Multi-Agent A* for Dec-POMDPs. IJCAI (2023)
Merlijn Krale, Thiago D. Simão, Nils Jansen
Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. ICAPS (2023)
Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. ICLR (2023)
Cevahir Köprülü, Thiago D. Simão, Nils Jansen, Ufuk Topcu
Risk-aware curriculum generation for heavy-tailed task distributions. UAI (2023)
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI (2023)
Thiago D. Simão, Marnix Suilen, Nils Jansen
Safe Policy Improvement for POMDPs via Finite-State Controllers. AAAI (2023)
Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan
Reinforcement Learning by Guided Safe Exploration. ECAI (2023)
Ellen Enkel, Nils Jansen, Mohammad Reza Mousavi, Kristin Yvonne Rozier
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492). Dagstuhl Reports 13 (12) (2023)
Merlijn Krale, Thiago D. Simão, Nils Jansen
Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. CoRR (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76 (2023)
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
Robust Active Measuring under Model Uncertainty. CoRR (2023)
Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
Decision-Making Under Uncertainty: Beyond Probabilities. CoRR (2023)
Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
Decision-making under uncertainty: beyond probabilities. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Thom S. Badings, Nils Jansen, Licio Romao, Alessandro Abate
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. CoRR (2023)
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement With Stronger Performance Guarantees. CoRR (2023)
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI (2023)
Nils Jansen
Intelligent and Dependable Decision-Making Under Uncertainty. FM (2023)
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR (2023)
Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. ICAPS (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR (2023)
Thiago D. Simão, Marnix Suilen, Nils Jansen
Safe Policy Improvement for POMDPs via Finite-State Controllers. CoRR (2023)
Marck van der Vegt, Nils Jansen, Sebastian Junges
Robust Almost-Sure Reachability in Multi-Environment MDPs. CoRR (2023)
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
Factored Online Planning in Many-Agent POMDPs. CoRR (2023)
Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA (2023)
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) (2023)
Marck van der Vegt, Nils Jansen, Sebastian Junges
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) (2023)
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. ICAART (3) (2023)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. AAAI (2023)
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. CoRR (2022)
David Kerkkamp, Zaharah Allah Bukhsh, Yingqian Zhang, Nils Jansen
Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks. ICAART (2) (2022)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Parameter Synthesis in Markov Models: A Gentle Survey. CoRR (2022)
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR (2022)
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA (2022)
Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. CoRR (2022)
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Safe Reinforcement Learning via Shielding for POMDPs. CoRR (2022)
Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen
Robust Anytime Learning of Markov Decision Processes. NeurIPS (2022)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67 (12) (2022)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) (2022)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR (2022)
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR (2022)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design (2022)
Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker
Robust Anytime Learning of Markov Decision Processes. CoRR (2022)
Zaharah Allah Bukhsh, Nils Jansen, Hajo Molegraaf
A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning. CoRR (2022)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI (2022)
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR (2022)
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) (2021)
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. CoRR (2021)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Convex Optimization for Parameter Synthesis in MDPs. CoRR (2021)
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR (2021)
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR (2021)
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh
Formalizing and guaranteeing human-robot interaction. Commun. ACM 64 (9) (2021)
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
Control Theory Meets POMDPs: A Hybrid Systems Approach. IEEE Trans. Autom. Control. 66 (11) (2021)
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu
Synthesis of Provably Correct Autonomy Protocols for Shared Control. IEEE Trans. Autom. Control. 66 (7) (2021)
Thiago D. Simão, Nils Jansen, Matthijs T. J. Spaan
AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training. AAMAS (2021)
Zaharah Allah Bukhsh, Nils Jansen, Aaqib Saeed
Damage detection using in-domain and cross-domain transfer learning. Neural Comput. Appl. 33 (24) (2021)
Zaharah Allah Bukhsh, Nils Jansen, Aaqib Saeed
Damage detection using in-domain and cross-domain transfer learning. CoRR (2021)
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
Adaptive Shielding under Uncertainty. ACC (2021)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
Robust Finite-State Controllers for Uncertain POMDPs. AAAI (2021)
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM (2021)
Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu
Safe Policies for Factored Partially Observable Stochastic Games. Robotics: Science and Systems (2021)
Steven Carr, Nils Jansen, Ufuk Topcu
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. J. Artif. Intell. Res. 72 (2021)
Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Mariëlle Stoelinga
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. CoRR (2021)
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. 66 (3) (2021)
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR (2021)
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization CoRR (2020)
Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Simplex Architecture. NFM (2020)
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
Strengthening Deterministic Policies for POMDPs. NFM (2020)
Ajaya Adhikari, Richard J. M. den Hollander, Ioannis Tolios, Michael van Bekkum, Anneloes Bal, Stijn Hendriks, Maarten Kruithof, Dennis Gross, Nils Jansen, Guillermo A. Pérez, Kit Buurman, Stephan Raaijmakers
Adversarial Patch Camouflage against Aerial Detection. CoRR (2020)
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
Robustness Verification for Classifier Ensembles. ATVA (2020)
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI (2020)
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh
Formalizing and Guaranteeing* Human-Robot Interaction. CoRR (2020)
Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR (2020)
Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem
Shield Synthesis for Reinforcement Learning. ISoLA (1) (2020)
Steven Carr, Nils Jansen, Ufuk Topcu
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. CoRR (2020)
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
Adaptive Shielding under Uncertainty. CoRR (2020)
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
Robustness Verification for Classifier Ensembles. CoRR (2020)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-Based Verification of Uncertain MDPs. TACAS (1) (2020)
Steven Carr, Nils Jansen, Ufuk Topcu
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI (2020)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
Robust Finite-State Controllers for Uncertain POMDPs. CoRR (2020)
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
Enforcing Almost-Sure Reachability in POMDPs. CoRR (2020)
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
Strengthening Deterministic Policies for POMDPs. CoRR (2020)
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
Correct-by-construction policies for POMDPs. SNR (2019)
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR (2019)

Nils Jansen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nils Jansen