Nils Jansen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
53
Venues
15
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
53 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICAART | A Case for Causal Reinforcement Learning in Longitudinal Vehicle Control. | Jule Schmidt, Xin Tao, Chelsea Sidrane, Swarup Kumar Mohalik, Akhil Prasad, Jana Tumova, Nils Jansen |
| 2025 | CAV | Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. | Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen |
| 2025 | ECAI | Pessimistic Iterative Planning with RNNs for Robust POMDPs. | Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simo, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen |
| 2025 | ICLR | Safety-Prioritizing Curricula for Constrained Reinforcement Learning. | Cevahir Kprl, Thiago D. Simo, Nils Jansen, Ufuk Topcu |
| 2025 | ICLR | Robust Transfer of Safety-Constrained Reinforcement Learning Agents. | Markel Zubia, Thiago D. Simo, Nils Jansen |
| 2025 | IJCAI | Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs. | Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen |
| 2024 | AAAI | Factored Online Planning in Many-Agent POMDPs. | Maris F. L. Galesloot, Thiago D. Simo, Sebastian Junges, Nils Jansen |
| 2024 | AAAI | Robust Active Measuring under Model Uncertainty. | Merlijn Krale, Thiago D. Simo, Jana Tumova, Nils Jansen |
| 2024 | ICAART | A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling. | Christoph Schmidl, Thiago D. Simo, Nils Jansen |
| 2024 | IJCAI | Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. | Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen |
| 2024 | IJCAI | Approximate Dec-POMDP Solving Using Multi-Agent A | Wietze Koops, Sebastian Junges, Nils Jansen |
| 2024 | TACAS | CTMCs with Imprecisely Timed Observations. | Thom Badings, Matthias Volk, Sebastian Junges, Marille Stoelinga, Nils Jansen |
| 2023 | AAAI | Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. | Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen |
| 2023 | AAAI | Safe Reinforcement Learning via Shielding under Partial Observability. | Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu |
| 2023 | AAAI | Safe Policy Improvement for POMDPs via Finite-State Controllers. | Thiago D. Simo, Marnix Suilen, Nils Jansen |
| 2023 | CAV | Efficient Sensitivity Analysis for Parametric Robust Markov Chains. | Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen |
| 2023 | ECAI | Reinforcement Learning by Guided Safe Exploration. | Qisong Yang, Thiago D. Simo, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan |
| 2023 | FM | Intelligent and Dependable Decision-Making Under Uncertainty. | Nils Jansen |
| 2023 | ICAART | Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. | Dennis Gross, Thiago D. Simo, Nils Jansen, Guillermo A. Prez |
| 2023 | ICLR | Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. | Yannick Hogewind, Thiago D. Simo, Tal Kachman, Nils Jansen |
| 2023 | IJCAI | Recursive Small-Step Multi-Agent A* for Dec-POMDPs. | Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simo |
| 2023 | IJCAI | More for Less: Safe Policy Improvement with Stronger Performance Guarantees. | Patrick Wienhft, Marnix Suilen, Thiago D. Simo, Clemens Dubslaff, Christel Baier, Nils Jansen |
| 2023 | UAI | Risk-aware curriculum generation for heavy-tailed task distributions. | Cevahir Kprl, Thiago D. Simo, Nils Jansen, Ufuk Topcu |
| 2023 | TACAS | Robust Almost-Sure Reachability in Multi-Environment MDPs. | Marck van der Vegt, Nils Jansen, Sebastian Junges |
| 2023 | VECoS | Welcome Remarks from AISoLA 2023/Track C2 Chairs. | Nils Jansen, Bettina Knighofer, Jan Kretnsk, Kim G. Larsen |
| 2022 | AAAI | Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. | Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Marille Stoelinga |
| 2022 | CAV | Sampling-Based Verification of CTMCs with Uncertain Rates. | Thom S. Badings, Nils Jansen, Sebastian Junges, Marille Stoelinga, Matthias Volk |
| 2022 | ICAART | Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks. | David Kerkkamp, Zaharah Allah Bukhsh, Yingqian Zhang, Nils Jansen |
| 2022 | SETTA | COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. | Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Prez |
| 2021 | AAAI | Robust Finite-State Controllers for Uncertain POMDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu |
| 2021 | CAV | Enforcing Almost-Sure Reachability in POMDPs. | Sebastian Junges, Nils Jansen, Sanjit A. Seshia |
| 2020 | ATVA | Robustness Verification for Classifier Ensembles. | Dennis Gross, Nils Jansen, Guillermo A. Prez, Stephan Raaijmakers |
| 2020 | CONCUR | Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). | Nils Jansen, Bettina Knighofer, Sebastian Junges, Alex Serban, Roderick Bloem |
| 2020 | IJCAI | Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. | Steven Carr, Nils Jansen, Ufuk Topcu |
| 2020 | IJCAI | Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. | Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu |
| 2020 | ISoLA | Shield Synthesis for Reinforcement Learning. | Bettina Knighofer, Florian Lorber, Nils Jansen, Roderick Bloem |
| 2020 | TACAS | Scenario-Based Verification of Uncertain MDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
| 2019 | IJCAI | Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. | Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu |
| 2019 | TACAS | Shepherding Hordes of Markov Chains. | Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen |
| 2018 | ATVA | Synthesis in pMDPs: A Tale of 1001 Parameters. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
| 2018 | UAI | Finite-State Controllers of POMDPs using Parameter Synthesis. | Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker |
| 2017 | TACAS | Sequential Convex Programming for the Efficient Verification of Parametric MDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu |
| 2016 | ATVA | Bounded Model Checking for Probabilistic Programs. | Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen |
| 2016 | ATVA | Parameter Synthesis for Markov Models: Faster Than Ever. | Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen |
| 2016 | ISoLA | Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. | Francesco Leofante, Simone Vuotto, Erika brahm, Armando Tacchella, Nils Jansen |
| 2016 | TACAS | Safety-Constrained Reinforcement Learning for MDPs. | Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen |
| 2015 | CAV | PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika brahm |
| 2015 | FM | Counterexamples for Expected Rewards. | Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen, Bernd Becker |
| 2014 | ATVA | Fast Debugging of PRISM Models. | Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen |
| 2012 | ATVA | The COMICS Tool - Computing Minimal Counterexamples for DTMCs. | Nils Jansen, Erika brahm, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2012 | TACAS | Minimal Critical Subsystems for Discrete-Time Markov Models. | Ralf Wimmer, Nils Jansen, Erika brahm, Bernd Becker, Joost-Pieter Katoen |
| 2011 | ATVA | Hierarchical Counterexamples for Discrete-Time Markov Chains. | Nils Jansen, Erika brahm, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2011 | FORTE | Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. | Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika brahm |