


default search action
Nils Jansen 0001
Person information
- affiliation: Ruhr-University Bochum, Germany
- affiliation (former): Radboud University Nijmegen, The Netherlands
- affiliation (PhD 2015): RWTH Aachen University
Other persons with the same name
- Nils Jansen 0002 — Universitätsklinikum Düsseldorf, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [i73]Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, Nils Jansen:
Tighter Value-Function Approximations for POMDPs. CoRR abs/2502.06523 (2025) - [i72]Natalie Grabowsky, Annika Mütze, Joshua Wendland, Nils Jansen, Matthias Rottmann:
Does Knowledge About Perceptual Uncertainty Help an Agent in Automated Driving? CoRR abs/2502.11864 (2025) - 2024
- [j17]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): 181-259 (2024) - [j16]Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen:
Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf. 26(3): 269-299 (2024) - [c84]Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen:
Factored Online Planning in Many-Agent POMDPs. AAAI 2024: 17407-17415 - [c83]Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen:
Robust Active Measuring under Model Uncertainty. AAAI 2024: 21276-21284 - [c82]Marnix Suilen, Thom S. Badings, Eline M. Bovy, David Parker, Nils Jansen:
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. Principles of Verification (3) 2024: 126-154 - [c81]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: 564-570 - [c80]Christoph Schmidl, Thiago D. Simão, Nils Jansen:
A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling. ICAART (3) 2024: 1324-1335 - [c79]Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen:
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. IJCAI 2024: 6697-6706 - [c78]Wietze Koops, Sebastian Junges, Nils Jansen:
Approximate Dec-POMDP Solving Using Multi-Agent A*. IJCAI 2024: 6743-6751 - [c77]Thom S. Badings
, Matthias Volk
, Sebastian Junges
, Mariëlle Stoelinga
, Nils Jansen
:
CTMCs with Imprecisely Timed Observations. TACAS (2) 2024: 258-278 - [e6]Nils Jansen
, Sebastian Junges
, Benjamin Lucien Kaminski
, Christoph Matheja
, Thomas Noll
, Tim Quatmann
, Mariëlle Stoelinga
, Matthias Volk
:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I. Lecture Notes in Computer Science 15260, Springer 2024, ISBN 978-3-031-75782-2 [contents] - [e5]Nils Jansen
, Sebastian Junges
, Benjamin Lucien Kaminski
, Christoph Matheja
, Thomas Noll
, Tim Quatmann
, Mariëlle Stoelinga
, Matthias Volk
:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II. Lecture Notes in Computer Science 15261, Springer 2024, ISBN 978-3-031-75774-7 [contents] - [e4]Nils Jansen
, Sebastian Junges
, Benjamin Lucien Kaminski
, Christoph Matheja
, Thomas Noll
, Tim Quatmann
, Mariëlle Stoelinga
, Matthias Volk
:
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Lecture Notes in Computer Science 15262, Springer 2024, ISBN 978-3-031-75777-8 [contents] - [i71]Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga
, Nils Jansen
:
CTMCs with Imprecisely Timed Observations. CoRR abs/2401.06574 (2024) - [i70]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 abs/2404.01726 (2024) - [i69]Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen:
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. CoRR abs/2405.04941 (2024) - [i68]Wietze Koops, Sebastian Junges, Nils Jansen:
Approximate Dec-POMDP Solving Using Multi-Agent A. CoRR abs/2405.05662 (2024) - [i67]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 abs/2405.13583 (2024) - [i66]Thom S. Badings, Wietze Koops, Sebastian Junges, Nils Jansen:
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. CoRR abs/2406.00826 (2024) - [i65]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 abs/2407.12894 (2024) - [i64]Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen:
Pessimistic Iterative Planning for Robust POMDPs. CoRR abs/2408.08770 (2024) - [i63]Marnix Suilen, Thom S. Badings, Eline M. Bovy, David Parker, Nils Jansen:
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. CoRR abs/2411.11451 (2024) - [i62]Nils Jansen, Mykel J. Kochenderfer, Jan Kretínský, Jana Tumova, Maris F. L. Galesloot:
Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361). Dagstuhl Reports 14(9): 1-21 (2024) - 2023
- [j15]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: 341-391 (2023) - [j14]Nils Jansen
, Gerrit Nolte, Bernhard Steffen:
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). Int. J. Softw. Tools Technol. Transf. 25(3): 241-247 (2023) - [j13]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): 375-391 (2023) - [c76]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: 14701-14710 - [c75]Steven Carr, Nils Jansen, Sebastian Junges
, Ufuk Topcu:
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756 - [c74]Thiago D. Simão, Marnix Suilen, Nils Jansen:
Safe Policy Improvement for POMDPs via Finite-State Controllers. AAAI 2023: 15109-15117 - [c73]Dennis Gross, Christoph Schmidl, Nils Jansen
, Guillermo A. Pérez
:
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. ICAPS 2023: 162-170 - [c72]Merlijn Krale, Thiago D. Simão, Nils Jansen
:
Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. ICAPS 2023: 212-220 - [c71]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) 2023: 62-85 - [c70]Qisong Yang, Thiago D. Simão, Nils Jansen
, Simon H. Tindemans
, Matthijs T. J. Spaan:
Reinforcement Learning by Guided Safe Exploration. ECAI 2023: 2858-2865 - [c69]Nils Jansen
:
Intelligent and Dependable Decision-Making Under Uncertainty. FM 2023: 26-36 - [c68]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: 501-508 - [c67]Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen:
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. ICLR 2023 - [c66]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: 4406-4415 - [c65]Wietze Koops
, Nils Jansen
, Sebastian Junges
, Thiago D. Simão:
Recursive Small-Step Multi-Agent A* for Dec-POMDPs. IJCAI 2023: 5402-5410 - [c64]Marck van der Vegt
, Nils Jansen
, Sebastian Junges
:
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) 2023: 508-526 - [c63]Cevahir Köprülü, Thiago D. Simão, Nils Jansen, Ufuk Topcu:
Risk-aware curriculum generation for heavy-tailed task distributions. UAI 2023: 1132-1142 - [c62]Nils Jansen
, Bettina Könighofer, Jan Kretínský, Kim G. Larsen
:
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA 2023: 25-32 - [c61]Thom S. Badings, Nils Jansen
, Licio Romao, Alessandro Abate:
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. FMAS@iFM 2023: 144-152 - [e3]Nils Jansen
, Mirco Tribastone:
Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14287, Springer 2023, ISBN 978-3-031-43834-9 [contents] - [d5]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1. Zenodo, 2023 [all versions] - [d4]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1.1. Zenodo, 2023 [all versions] - [i61]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 abs/2301.01526 (2023) - [i60]Thiago D. Simão, Marnix Suilen, Nils Jansen
:
Safe Policy Improvement for POMDPs via Finite-State Controllers. CoRR abs/2301.04939 (2023) - [i59]Marck van der Vegt, Nils Jansen
, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. CoRR abs/2301.11296 (2023) - [i58]Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
:
Decision-Making Under Uncertainty: Beyond Probabilities. CoRR abs/2303.05848 (2023) - [i57]Merlijn Krale, Thiago D. Simão, Nils Jansen
:
Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. CoRR abs/2303.08271 (2023) - [i56]Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR abs/2305.01473 (2023) - [i55]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 abs/2305.07958 (2023) - [i54]Qisong Yang, Thiago D. Simão, Nils Jansen
, Simon H. Tindemans, Matthijs T. J. Spaan:
Reinforcement Learning by Guided Safe Exploration. CoRR abs/2307.14316 (2023) - [i53]Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
:
Robust Active Measuring under Model Uncertainty. CoRR abs/2312.11227 (2023) - [i52]Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
:
Factored Online Planning in Many-Agent POMDPs. CoRR abs/2312.11434 (2023) - [i51]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): 24-47 (2023) - 2022
- [j12]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): 803-819 (2022) - [j11]Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67(12): 6333-6348 (2022) - [c60]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: 9669-9678 - [c59]Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design 2022: 407-437 - [c58]Thom S. Badings
, Nils Jansen
, Sebastian Junges
, Mariëlle Stoelinga
, Matthias Volk
:
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) 2022: 26-47 - [c57]David Kerkkamp, Zaharah Allah Bukhsh, Yingqian Zhang, Nils Jansen
:
Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks. ICAART (2) 2022: 574-585 - [c56]Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen:
Robust Anytime Learning of Markov Decision Processes. NeurIPS 2022 - [c55]Dennis Gross, Nils Jansen
, Sebastian Junges
, Guillermo A. Pérez
:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA 2022: 41-49 - [e2]Nils Jansen
, Mariëlle Stoelinga
, Petra van den Bos:
A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13560, Springer 2022, ISBN 978-3-031-15628-1 [contents] - [d3]Thom S. Badings
, Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. Zenodo, 2022 - [i50]Steven Carr, Nils Jansen
, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding for POMDPs. CoRR abs/2204.00755 (2022) - [i49]Thom S. Badings, Nils Jansen
, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR abs/2205.08300 (2022) - [i48]Marnix Suilen, Thiago D. Simão, Nils Jansen
, David Parker:
Robust Anytime Learning of Markov Decision Processes. CoRR abs/2205.15827 (2022) - [i47]Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. CoRR abs/2207.06801 (2022) - [i46]Zaharah Allah Bukhsh, Nils Jansen
, Hajo Molegraaf:
A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning. CoRR abs/2208.00808 (2022) - [i45]Dennis Gross, Nils Jansen
, Sebastian Junges, Guillermo A. Pérez:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR abs/2209.07133 (2022) - [i44]Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen
:
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. CoRR abs/2210.01801 (2022) - [i43]Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen
:
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR abs/2210.05989 (2022) - [i42]Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate:
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR abs/2212.00679 (2022) - [i41]Dennis Gross, Thiago D. Simão, Nils Jansen
, Guillermo A. Pérez:
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. CoRR abs/2212.05337 (2022) - 2021
- [j10]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): 78-84 (2021) - [j9]Steven Carr, Nils Jansen
, Ufuk Topcu:
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. J. Artif. Intell. Res. 72: 819-847 (2021) - [j8]Zaharah Allah Bukhsh
, Nils Jansen
, Aaqib Saeed
:
Damage detection using in-domain and cross-domain transfer learning. Neural Comput. Appl. 33(24): 16921-16936 (2021) - [j7]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): 1040-1054 (2021) - [j6]Murat Cubuktepe
, Nils Jansen
, Mohammed Alshiekh, Ufuk Topcu
:
Synthesis of Provably Correct Autonomy Protocols for Shared Control. IEEE Trans. Autom. Control. 66(7): 3251-3258 (2021) - [j5]Mohamadreza Ahmadi
, Nils Jansen
, Bo Wu
, Ufuk Topcu
:
Control Theory Meets POMDPs: A Hybrid Systems Approach. IEEE Trans. Autom. Control. 66(11): 5191-5204 (2021) - [c54]Murat Cubuktepe, Nils Jansen, Sebastian Junges
, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. AAAI 2021: 11792-11800 - [c53]Stefan Pranger, Bettina Könighofer, Martin Tappler
, Martin Deixelberger, Nils Jansen
, Roderick Bloem
:
Adaptive Shielding under Uncertainty. ACC 2021: 3467-3474 - [c52]Thiago D. Simão, Nils Jansen, Matthijs T. J. Spaan:
AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training. AAMAS 2021: 1226-1235 - [c51]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) 2021: 602-625 - [c50]Thom S. Badings
, Arnd Hartmanns
, Nils Jansen
, Marnix Suilen:
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM 2021: 1-18 - [c49]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 - [d2]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 1. Zenodo, 2021 [all versions] - [d1]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 2. Zenodo, 2021 [all versions] - [i40]Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen:
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. CoRR abs/2101.12496 (2021) - [i39]Zaharah Allah Bukhsh, Nils Jansen, Aaqib Saeed:
Damage detection using in-domain and cross-domain transfer learning. CoRR abs/2102.03858 (2021) - [i38]Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Mariëlle Stoelinga
:
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. CoRR abs/2103.02398 (2021) - [i37]Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR abs/2105.13411 (2021) - [i36]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021) - [i35]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 abs/2110.12662 (2021) - [i34]Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR abs/2112.13020 (2021) - 2020
- [c48]Dennis Gross, Nils Jansen
, Guillermo A. Pérez
, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. ATVA 2020: 271-287 - [c47]Nils Jansen
, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
:
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR 2020: 3:1-3:16 - [c46]Marnix Suilen, Nils Jansen
, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI 2020: 4113-4120 - [c45]Steven Carr, Nils Jansen
, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI 2020: 4121-4127 - [c44]Bettina Könighofer, Florian Lorber, Nils Jansen
, Roderick Bloem:
Shield Synthesis for Reinforcement Learning. ISoLA (1) 2020: 290-306 - [c43]Dung T. Phan
, Radu Grosu, Nils Jansen
, Nicola Paoletti
, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. NFM 2020: 97-114 - [c42]Leonore Winterer, Ralf Wimmer, Nils Jansen
, Bernd Becker
:
Strengthening Deterministic Policies for POMDPs. NFM 2020: 115-132 - [c41]Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Scenario-Based Verification of Uncertain MDPs. TACAS (1) 2020: 287-305 - [e1]Nathalie Bertrand
, Nils Jansen
:
Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Lecture Notes in Computer Science 12288, Springer 2020, ISBN 978-3-030-57627-1 [contents] - [i33]Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. CoRR abs/2001.08174 (2020) - [i32]Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. CoRR abs/2002.05615 (2020) - [i31]Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. CoRR abs/2005.05587 (2020) - [i30]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 abs/2006.16732 (2020) - [i29]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CoRR abs/2007.00085 (2020) - [i28]Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. CoRR abs/2007.08351 (2020) - [i27]Ajaya Adhikari, Richard 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 abs/2008.13671 (2020) - [i26]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. CoRR abs/2009.11459 (2020) - [i25]Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem:
Adaptive Shielding under Uncertainty. CoRR abs/2010.03842 (2020)
2010 – 2019
- 2019
- [c40]Milan Ceska
, Christian Dehnert, Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems 2019: 107-125 - [c39]Steven Carr, Nils Jansen
, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker
, Ufuk Topcu
:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI 2019: 5532-5539 - [c38]Nils Jansen
, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
:
Structured Synthesis for Probabilistic Systems. NFM 2019: 237-254 - [c37]Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann
, Bernd Becker
, Ralf Wimmer, Leonore Winterer:
Correct-by-construction policies for POMDPs. SNR 2019: 6-8 - [c36]Milan Ceska
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. TACAS (2) 2019: 172-190 - [i24]Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. CoRR abs/1902.05727 (2019) - [i23]Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
Parameter Synthesis for Markov Models. CoRR abs/1903.07993 (2019) - [i22]Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR abs/1903.08428 (2019) - [i21]Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu:
Synthesis of Provably Correct Autonomy Protocols for Shared Control. CoRR abs/1905.06471 (2019) - [i20]Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu:
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR abs/1905.08095 (2019) - [i19]Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. CoRR abs/1908.00528 (2019) - [i18]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. CoRR abs/1912.11223 (2019) - 2018
- [j4]Federico Olmedo
, Friedrich Gretz, Nils Jansen
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen, Annabelle McIver
:
Conditioning in Probabilistic Programming. ACM Trans. Program. Lang. Syst. 40(1): 4:1-4:50 (2018) - [c35]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen
, Ufuk Topcu
:
Verification of Uncertain POMDPs Using Barrier Certificates. Allerton 2018: 115-122 - [c34]Steven Carr, Nils Jansen
, Ralf Wimmer, Jie Fu, Ufuk Topcu
:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC 2018: 762-769 - [c33]Murat Cubuktepe, Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
:
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176 - [c32]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV 2018 - [c31]Sebastian Junges, Nils Jansen
, Joost-Pieter Katoen, Ufuk Topcu
, Ruohan Zhang, Mary M. Hayhoe:
Model Checking for Safe Navigation Among Humans. QEST 2018: 207-222 - [c30]Sebastian Junges
, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI 2018: 519-529 - [i17]Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. CoRR abs/1802.09810 (2018) - [i16]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. CoRR abs/1807.03823 (2018) - [i15]Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem:
Shielded Decision-Making in MDPs. CoRR abs/1807.06096 (2018) - [i14]Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. CoRR abs/1807.06106 (2018) - [i13]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
The Partially Observable Games We Play for Cyber Deception. CoRR abs/1810.00092 (2018) - [i12]Nils Jansen
, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretínský:
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). Dagstuhl Reports 8(3): 74-93 (2018) - 2017
- [c29]Nils Jansen
, Murat Cubuktepe, Ufuk Topcu
:
Synthesis of shared control protocols with provable safety and performance guarantees. ACC 2017: 1866-1873 - [c28]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen
, Ufuk Topcu
, Joost-Pieter Katoen, Bernd Becker
:
Motion planning under partial observability using game-based abstraction. CDC 2017: 2201-2208 - [c27]Murat Cubuktepe, Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) 2017: 133-150 - [p1]Radu Calinescu
, Marco Autili
, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen
, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese
, Massimo Tivoli
:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - [i11]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR abs/1702.00063 (2017) - [i10]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR abs/1708.04236 (2017) - [i9]Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR abs/1710.10294 (2017) - 2016
- [c26]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Verification for Cognitive Models. AAAI Fall Symposia 2016 - [c25]Tim Quatmann
, Christian Dehnert, Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. ATVA 2016: 50-67 - [c24]Nils Jansen
, Christian Dehnert, Benjamin Lucien Kaminski
, Joost-Pieter Katoen, Lukas Westhofen
:
Bounded Model Checking for Probabilistic Programs. ATVA 2016: 68-85 - [c23]Francesco Leofante
, Simone Vuotto
, Erika Ábrahám
, Armando Tacchella
, Nils Jansen
:
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) 2016: 496-514 - [c22]Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk
, Joost-Pieter Katoen, Erika Ábrahám
, Harold Bruintjes:
Parameter Synthesis for Probabilistic Systems. MBMV 2016: 72-74 - [c21]Sebastian Junges, Nils Jansen
, Christian Dehnert, Ufuk Topcu
, Joost-Pieter Katoen
:
Safety-Constrained Reinforcement Learning for MDPs. TACAS 2016: 130-146 - [i8]Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. CoRR abs/1602.05113 (2016) - [i7]Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen:
Bounded Model Checking for Probabilistic Programs. CoRR abs/1605.04477 (2016) - [i6]Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. CoRR abs/1610.08500 (2016) - [i5]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. CoRR abs/1610.09409 (2016) - 2015
- [b1]Nils Jansen:
Counterexamples in probabilistic verification. RWTH Aachen University, Germany, 2015 - [j3]Ralf Wimmer
, Nils Jansen
, Andreas Vorpahl, Erika Ábrahám
, Joost-Pieter Katoen
, Bernd Becker:
High-level Counterexamples for Probabilistic Automata. Log. Methods Comput. Sci. 11(1) (2015) - [c20]Joost-Pieter Katoen
, Friedrich Gretz, Nils Jansen
, Benjamin Lucien Kaminski
, Federico Olmedo
:
Understanding Probabilistic Programs. Correct System Design 2015: 15-32 - [c19]Christian Dehnert, Sebastian Junges, Nils Jansen
, Florian Corzilius, Matthias Volk
, Harold Bruintjes, Joost-Pieter Katoen
, Erika Ábrahám
:
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) 2015: 214-231 - [c18]Tim Quatmann
, Nils Jansen
, Christian Dehnert, Ralf Wimmer, Erika Ábrahám
, Joost-Pieter Katoen
, Bernd Becker
:
Counterexamples for Expected Rewards. FM 2015: 435-452 - [c17]Shashank Pathak, Erika Ábrahám
, Nils Jansen
, Armando Tacchella
, Joost-Pieter Katoen
:
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM 2015: 295-309 - [c16]Nils Jansen
, Benjamin Lucien Kaminski
, Joost-Pieter Katoen
, Federico Olmedo
, Friedrich Gretz, Annabelle McIver
:
Conditioning in Probabilistic Programming. MFPS 2015: 199-216 - [i4]Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo:
Conditioning in Probabilistic Programming. CoRR abs/1504.00198 (2015) - [i3]Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. CoRR abs/1510.05880 (2015) - 2014
- [j2]Nils Jansen
, Ralf Wimmer, Erika Ábrahám
, Barna Zajzon
, Joost-Pieter Katoen
, Bernd Becker
, Johann Schuster:
Symbolic counterexample generation for large discrete-time Markov chains. Sci. Comput. Program. 91: 90-114 (2014) - [j1]Ralf Wimmer
, Nils Jansen
, Erika Ábrahám
, Joost-Pieter Katoen
, Bernd Becker
:
Minimal counterexamples for linear-time probabilistic verification. Theor. Comput. Sci. 549: 61-100 (2014) - [c15]Christian Dehnert, Nils Jansen
, Ralf Wimmer
, Erika Ábrahám
, Joost-Pieter Katoen:
Fast Debugging of PRISM Models. ATVA 2014: 146-162 - [c14]Nils Jansen
, Florian Corzilius, Matthias Volk
, Ralf Wimmer, Erika Ábrahám
, Joost-Pieter Katoen
, Bernd Becker
:
Accelerating Parametric Probabilistic Verification. QEST 2014: 404-420 - [c13]Erika Ábrahám
, Bernd Becker
, Christian Dehnert, Nils Jansen
, Joost-Pieter Katoen
, Ralf Wimmer
:
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM 2014: 65-121 - 2013
- [c12]Daniel Neider
, Nils Jansen
:
Regular Model Checking Using Solver Technologies and Automata Learning. NASA Formal Methods 2013: 16-31 - [c11]Ralf Wimmer
, Nils Jansen
, Andreas Vorpahl, Erika Ábrahám
, Joost-Pieter Katoen
, Bernd Becker
:
High-Level Counterexamples for Probabilistic Automata. QEST 2013: 39-54 - [i2]Nils Jansen, Florian Corzilius, Matthias Volk
, Ralf Wimmer, Erika Ábrahám
, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. CoRR abs/1312.3979 (2013) - 2012
- [c10]Nils Jansen
, Erika Ábrahám
, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen
, Bernd Becker
:
The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA 2012: 349-353 - [c9]Nils Jansen
, Erika Ábrahám
, Barna Zajzon
, Ralf Wimmer
, Johann Schuster, Joost-Pieter Katoen
, Bernd Becker
:
Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS 2012: 134-151 - [c8]Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen:
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV 2012: 169-180 - [c7]Ralf Wimmer
, Nils Jansen
, Erika Ábrahám
, Bernd Becker
, Joost-Pieter Katoen
:
Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS 2012: 299-314 - [i1]Nils Jansen, Erika Ábrahám
, Maik Scheffler, Matthias Volk
, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains. CoRR abs/1206.0603 (2012) - 2011
- [c6]Nils Jansen
, Erika Ábrahám
, Jens Katelaan
, Ralf Wimmer
, Joost-Pieter Katoen
, Bernd Becker
:
Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA 2011: 443-452 - [c5]Bettina Braitling, Ralf Wimmer
, Bernd Becker
, Nils Jansen
, Erika Ábrahám
:
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE 2011: 75-89 - [c4]Erika Ábrahám
, Nadine Bergner
, Philipp Brauner, Florian Corzilius, Nils Jansen
, Thiemo Leonhardt
, Ulrich Loup, Johanna Nellen, Ulrik Schroeder
:
On collaboratively conveying computer science to pupils. Koli Calling 2011: 132-137 - [c3]Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28 - 2010
- [c2]Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder:
Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. DeLFI 2010: 239-251 - [c1]Erika Ábrahám
, Nils Jansen
, Ralf Wimmer, Joost-Pieter Katoen
, Bernd Becker
:
DTMC Model Checking by SCC Reduction. QEST 2010: 37-46
Coauthor Index
aka: Christian Dehnert

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-10 21:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint