Nils Jansen

198 papers A* 21A 8B 11C 3Misc 1Journal 97Unranked 49
YearRankTypeTitle / Venue / Authors
2026 — conf
A Case for Causal Reinforcement Learning in Longitudinal Vehicle Control.
ICAART (3)
Jule Schmidt, Xin Tao, Chelsea Sidrane, Swarup Kumar Mohalik, Akhil Prasad, Jana Tumova, Nils Jansen
2026 J jnl
Finite-State Controllers for (Hidden-Model) POMDPs using Deep Reinforcement Learning.
CoRR
David Hudák, Maris F. L. Galesloot, Martin Tappler, Martin Kurecka, Nils Jansen, Milan Ceska
2026 J jnl
Perception-Based Beliefs for POMDPs with Visual Observations.
CoRR
Miriam Schäfers, Merlijn Krale, Thiago D. Simão, Nils Jansen, Maximilian Weininger
2026 J jnl
Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
CoRR
Kush Grover, Markel Zubia, Debraj Chakraborty, Muqsit Azeem, Nils Jansen, Jan Kretínský
2025 J jnl
A maintenance planning framework using online and offline deep reinforcement learning.
Neural Comput. Appl.
Zaharah Allah Bukhsh, Hajo Molegraaf, Nils Jansen
2025 J jnl
Does Knowledge About Perceptual Uncertainty Help an Agent in Automated Driving?
CoRR
Natalie Grabowsky, Annika Mütze, Joshua Wendland, Nils Jansen, Matthias Rottmann
2025 J jnl
Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability.
CoRR
Eline M. Bovy, Caleb Probine, Marnix Suilen, Ufuk Topcu, Nils Jansen
2025 A conf
Pessimistic Iterative Planning with RNNs for Robust POMDPs.
ECAI
Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen
2025 — conf
Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.
CAV (2)
Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen
2025 — conf
Probabilistic Counterexamples Through the Ages.
Principles of Formal Quantitative Analysis
Erika Ábrahám, Nils Jansen, Simon Jantsch
2025 A* conf
Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.
IJCAI
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
2025 A* conf
Robust Transfer of Safety-Constrained Reinforcement Learning Agents.
ICLR
Markel Zubia, Thiago D. Simão, Nils Jansen
2025 A* conf
Safety-Prioritizing Curricula for Constrained Reinforcement Learning.
ICLR
Cevahir Köprülü, Thiago D. Simão, Nils Jansen, Ufuk Topcu
2025 J jnl
Shields for Safe Reinforcement Learning.
Commun. ACM
Bettina Könighofer, Roderick Bloem, Nils Jansen, Sebastian Junges, Stefan Pranger
2025 A conf
Tighter Value-Function Approximations for POMDPs.
AAMAS
Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, Nils Jansen
2025 J jnl
Tighter Value-Function Approximations for POMDPs.
CoRR
Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, Nils Jansen
2025 J jnl
rfPG: Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs.
CoRR
Maris F. L. Galesloot, Roman Andriushchenko, Milan Ceska, Sebastian Junges, Nils Jansen
2024 — conf
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions.
ECC
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2024 J jnl
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2024 — conf
A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling.
ICAART (3)
Christoph Schmidl, Thiago D. Simão, Nils Jansen
2024 A* conf
Approximate Dec-POMDP Solving Using Multi-Agent A
IJCAI
Wietze Koops, Sebastian Junges, Nils Jansen
2024 J jnl
Approximate Dec-POMDP Solving Using Multi-Agent A.
CoRR
Wietze Koops, Sebastian Junges, Nils Jansen
2024 J jnl
Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361).
Dagstuhl Reports
Nils Jansen, Mykel J. Kochenderfer, Jan Kretínský, Jana Tumova, Maris F. L. Galesloot
2024 — conf
CTMCs with Imprecisely Timed Observations.
TACAS (2)
Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024 J jnl
CTMCs with Imprecisely Timed Observations.
CoRR
Thom Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen
2024 A* conf
Factored Online Planning in Many-Agent POMDPs.
AAAI
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
2024 A* conf
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.
IJCAI
Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
2024 J jnl
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.
CoRR
Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen
2024 J jnl
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies.
CoRR
Thom Badings, Wietze Koops, Sebastian Junges, Nils Jansen
2024 J jnl
Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning.
CoRR
Lisandro Arturo Jimenez-Roa, Thiago D. Simão, Zaharah Allah Bukhsh, Tiedo Tinga, Hajo Molegraaf, Nils Jansen, Mariëlle Stoelinga
2024 J jnl
Parameter synthesis for Markov models: covering the parameter space.
Formal Methods Syst. Des.
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2024 J jnl
Pessimistic Iterative Planning for Robust POMDPs.
CoRR
Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen
2024 — ed.
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification (1)
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024 — ed.
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification (2)
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024 — ed.
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification (3)
Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
2024 A* conf
Robust Active Measuring under Model Uncertainty.
AAAI
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
2024 — conf
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.
Principles of Verification (3)
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
2024 J jnl
Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.
CoRR
Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, Nils Jansen
2024 J jnl
Strong Simple Policies for POMDPs.
Int. J. Softw. Tools Technol. Transf.
Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
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
2023 A* conf
Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring.
ICAPS
Merlijn Krale, Thiago D. Simão, Nils Jansen
2023 J jnl
Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring.
CoRR
Merlijn Krale, Thiago D. Simão, Nils Jansen
2023 — conf
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions.
FMAS@iFM
Thom Badings, Nils Jansen, Licio Romao, Alessandro Abate
2023 J jnl
Decision-Making Under Uncertainty: Beyond Probabilities.
CoRR
Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
2023 J jnl
Decision-making under uncertainty: beyond probabilities.
Int. J. Softw. Tools Technol. Transf.
Thom Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen
2023 — conf
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.
CAV (3)
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
2023 J jnl
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.
CoRR
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
2023 J jnl
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn).
Int. J. Softw. Tools Technol. Transf.
Nils Jansen, Gerrit Nolte, Bernhard Steffen
2023 J jnl
Factored Online Planning in Many-Agent POMDPs.
CoRR
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen
2023 B conf
Intelligent and Dependable Decision-Making Under Uncertainty.
FM
Nils Jansen
2023 A* conf
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods.
ICAPS
Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez
2023 J jnl
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492).
Dagstuhl Reports
Ellen Enkel, Nils Jansen, Mohammad Reza Mousavi, Kristin Yvonne Rozier
2023 J jnl
More for Less: Safe Policy Improvement With Stronger Performance Guarantees.
CoRR
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023 A* conf
More for Less: Safe Policy Improvement with Stronger Performance Guarantees.
IJCAI
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen
2023 A* conf
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
AAAI
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2023 — ed.
Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
QEST
Nils Jansen, Mirco Tribastone
2023 A* conf
Recursive Small-Step Multi-Agent A* for Dec-POMDPs.
IJCAI
Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão
2023 A conf
Reinforcement Learning by Guided Safe Exploration.
ECAI
Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan
2023 J jnl
Reinforcement Learning by Guided Safe Exploration.
CoRR
Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan
2023 A conf
Risk-aware curriculum generation for heavy-tailed task distributions.
UAI
Cevahir Köprülü, Thiago D. Simão, Nils Jansen, Ufuk Topcu
2023 J jnl
Robust Active Measuring under Model Uncertainty.
CoRR
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen
2023 — conf
Robust Almost-Sure Reachability in Multi-Environment MDPs.
TACAS (1)
Marck van der Vegt, Nils Jansen, Sebastian Junges
2023 J jnl
Robust Almost-Sure Reachability in Multi-Environment MDPs.
CoRR
Marck van der Vegt, Nils Jansen, Sebastian Junges
2023 J jnl
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023 J jnl
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.
J. Artif. Intell. Res.
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2023 A* conf
Safe Policy Improvement for POMDPs via Finite-State Controllers.
AAAI
Thiago D. Simão, Marnix Suilen, Nils Jansen
2023 J jnl
Safe Policy Improvement for POMDPs via Finite-State Controllers.
CoRR
Thiago D. Simão, Marnix Suilen, Nils Jansen
2023 A* conf
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation.
ICLR
Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen
2023 A* conf
Safe Reinforcement Learning via Shielding under Partial Observability.
AAAI
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
2023 — conf
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking.
ICAART (3)
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
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
2023 — conf
Welcome Remarks from AISoLA 2023/Track C2 Chairs.
AISoLA
Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen
2022 — ed.
A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
A Journey from Process Algebra via Timed Automata to Model Learning
Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
2022 J jnl
A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning.
CoRR
Zaharah Allah Bukhsh, Nils Jansen, Hajo Molegraaf
2022 Misc conf
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.
SETTA
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
2022 J jnl
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking.
CoRR
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez
2022 J jnl
Convex Optimization for Parameter Synthesis in MDPs.
IEEE Trans. Autom. Control.
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022 J jnl
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics.
CoRR
Luke Rickard, Thom Badings, Licio Romao, Nils Jansen, Alessandro Abate
2022 — conf
Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks.
ICAART (2)
David Kerkkamp, Zaharah Allah Bukhsh, Yingqian Zhang, Nils Jansen
2022 — conf
Parameter Synthesis in Markov Models: A Gentle Survey.
Principles of Systems Design
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2022 J jnl
Parameter Synthesis in Markov Models: A Gentle Survey.
CoRR
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2022 J jnl
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.
CoRR
Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen
2022 A* conf
Robust Anytime Learning of Markov Decision Processes.
NeurIPS
Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen
2022 J jnl
Robust Anytime Learning of Markov Decision Processes.
CoRR
Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker
2022 J jnl
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation.
CoRR
Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen
2022 J jnl
Safe Reinforcement Learning via Shielding for POMDPs.
CoRR
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
2022 A* conf
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
AAAI
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2022 — conf
Sampling-Based Verification of CTMCs with Uncertain Rates.
CAV (2)
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
2022 J jnl
Sampling-Based Verification of CTMCs with Uncertain Rates.
CoRR
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk
2022 J jnl
Scenario-based verification of uncertain parametric MDPs.
Int. J. Softw. Tools Technol. Transf.
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022 J jnl
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking.
CoRR
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez
2021 C conf
Adaptive Shielding under Uncertainty.
ACC
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2021 A conf
AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training.
AAMAS
Thiago D. Simão, Nils Jansen, Matthijs T. J. Spaan
2021 — conf
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.
NFM
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
2021 J jnl
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.
CoRR
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen
2021 J jnl
Control Theory Meets POMDPs: A Hybrid Systems Approach.
IEEE Trans. Autom. Control.
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
2021 J jnl
Convex Optimization for Parameter Synthesis in MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021 J jnl
Correct-by-construction reach-avoid control of partially observable linear stochastic systems.
CoRR
Thom Badings, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen
2021 J jnl
Damage detection using in-domain and cross-domain transfer learning.
CoRR
Zaharah Allah Bukhsh, Nils Jansen, Aaqib Saeed
2021 J jnl
Damage detection using in-domain and cross-domain transfer learning.
Neural Comput. Appl.
Zaharah Allah Bukhsh, Nils Jansen, Aaqib Saeed
2021 — conf
Enforcing Almost-Sure Reachability in POMDPs.
CAV (2)
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
2021 J jnl
Formalizing and guaranteeing human-robot interaction.
Commun. ACM
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
2021 J jnl
Model Repair Revamped: On the Automated Synthesis of Markov Chains.
CoRR
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2021 A* conf
Robust Finite-State Controllers for Uncertain POMDPs.
AAAI
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2021 — conf
Safe Policies for Factored Partially Observable Stochastic Games.
Robotics: Science and Systems
Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu
2021 J jnl
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.
CoRR
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga
2021 J jnl
Scenario-Based Verification of Uncertain Parametric MDPs.
CoRR
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021 J jnl
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.
IEEE Trans. Autom. Control.
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2021 J jnl
Synthesis of Provably Correct Autonomy Protocols for Shared Control.
IEEE Trans. Autom. Control.
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu
2021 J jnl
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes.
J. Artif. Intell. Res.
Steven Carr, Nils Jansen, Ufuk Topcu
2020 J jnl
Adaptive Shielding under Uncertainty.
CoRR
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem
2020 J jnl
Adversarial Patch Camouflage against Aerial Detection.
CoRR
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
2020 J jnl
Enforcing Almost-Sure Reachability in POMDPs.
CoRR
Sebastian Junges, Nils Jansen, Sanjit A. Seshia
2020 — ed.
Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings
FORMATS
Nathalie Bertrand, Nils Jansen
2020 J jnl
Formalizing and Guaranteeing* Human-Robot Interaction.
CoRR
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
2020 — conf
Neural Simplex Architecture.
NFM
Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020 J jnl
Robust Finite-State Controllers for Uncertain POMDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2020 J jnl
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization
CoRR
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2020 A* conf
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization.
IJCAI
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2020 B conf
Robustness Verification for Classifier Ensembles.
ATVA
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
2020 J jnl
Robustness Verification for Classifier Ensembles.
CoRR
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers
2020 B conf
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper).
CONCUR
Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem
2020 — conf
Scenario-Based Verification of Uncertain MDPs.
TACAS (1)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2020 — conf
Shield Synthesis for Reinforcement Learning.
ISoLA (1)
Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem
2020 — conf
Strengthening Deterministic Policies for POMDPs.
NFM
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
2020 J jnl
Strengthening Deterministic Policies for POMDPs.
CoRR
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
2020 A* conf
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.
IJCAI
Steven Carr, Nils Jansen, Ufuk Topcu
2020 J jnl
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.
CoRR
Steven Carr, Nils Jansen, Ufuk Topcu
2019 J jnl
Control Theory Meets POMDPs: A Hybrid Systems Approach.
CoRR
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
2019 — conf
Correct-by-construction policies for POMDPs.
SNR
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
2019 A* conf
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
IJCAI
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019 J jnl
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
CoRR
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019 — conf
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -.
From Reactive Systems to Cyber-Physical Systems
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Neural Simplex Architecture.
CoRR
Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
2019 J jnl
Parameter Synthesis for Markov Models.
CoRR
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
2019 J jnl
Scenario-Based Verification of Uncertain MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2019 — conf
Shepherding Hordes of Markov Chains.
TACAS (2)
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019 J jnl
Shepherding Hordes of Markov Chains.
CoRR
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2019 — conf
Structured Synthesis for Probabilistic Systems.
NFM
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
2019 J jnl
Synthesis of Provably Correct Autonomy Protocols for Shared Control.
CoRR
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu
2018 — conf
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.
MBMV
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2018 J jnl
Conditioning in Probabilistic Programming.
ACM Trans. Program. Lang. Syst.
Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver
2018 A conf
Finite-State Controllers of POMDPs using Parameter Synthesis.
UAI
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2018 C conf
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.
ACC
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
2018 J jnl
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.
CoRR
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
2018 J jnl
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121).
Dagstuhl Reports
Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretínský
2018 — conf
Model Checking for Safe Navigation Among Humans.
QEST
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe
2018 J jnl
Shielded Decision-Making in MDPs.
CoRR
Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem
2018 J jnl
Structured Synthesis for Probabilistic Systems.
CoRR
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
2018 B conf
Synthesis in pMDPs: A Tale of 1001 Parameters.
ATVA
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018 J jnl
The Partially Observable Games We Play for Cyber Deception.
CoRR
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018 — conf
Verification of Uncertain POMDPs Using Barrier Certificates.
Allerton
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
2018 J jnl
Verification of Uncertain POMDPs Using Barrier Certificates.
CoRR
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
2017 J jnl
Motion Planning under Partial Observability using Game-Based Abstraction.
CoRR
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017 — conf
Motion planning under partial observability using game-based abstraction.
CDC
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017 J jnl
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis.
CoRR
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2017 — conf
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
TACAS (2)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017 J jnl
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017 — ch.
Synthesis and Verification of Self-aware Computing Systems.
Self-Aware Computing Systems
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
2017 C conf
Synthesis of shared control protocols with provable safety and performance guarantees.
ACC
Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2016 B conf
Bounded Model Checking for Probabilistic Programs.
ATVA
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016 J jnl
Bounded Model Checking for Probabilistic Programs.
CoRR
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
2016 — conf
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.
ISoLA (1)
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen
2016 B conf
Parameter Synthesis for Markov Models: Faster Than Ever.
ATVA
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016 J jnl
Parameter Synthesis for Markov Models: Faster Than Ever.
CoRR
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
2016 — conf
Parameter Synthesis for Probabilistic Systems.
MBMV
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
2016 J jnl
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction.
CoRR
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
2016 — conf
Probabilistic Verification for Cognitive Models.
AAAI Fall Symposia
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
2016 A conf
Safety-Constrained Reinforcement Learning for MDPs.
TACAS
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2016 J jnl
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees.
CoRR
Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2015 — conf
A Greedy Approach for the Efficient Repair of Stochastic Models.
NFM
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen
2015 J jnl
Conditioning in Probabilistic Programming.
CoRR
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo
2015 B conf
Conditioning in Probabilistic Programming.
MFPS
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver
2015 B conf
Counterexamples for Expected Rewards.
FM
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015 — —
Counterexamples in probabilistic verification.
Nils Jansen
2015 J jnl
High-level Counterexamples for Probabilistic Automata
Log. Methods Comput. Sci.
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015 — conf
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.
CAV (1)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
2015 J jnl
Safety-Constrained Reinforcement Learning for MDPs.
CoRR
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2015 — conf
Understanding Probabilistic Programs.
Correct System Design
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo
2014 — conf
Accelerating Parametric Probabilistic Verification.
QEST
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014 — conf
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.
SFM
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
2014 B conf
Fast Debugging of PRISM Models.
ATVA
Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
2014 J jnl
Minimal counterexamples for linear-time probabilistic verification.
Theor. Comput. Sci.
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014 J jnl
Symbolic counterexample generation for large discrete-time Markov chains.
Sci. Comput. Program.
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
2013 J jnl
Accelerating Parametric Probabilistic Verification.
CoRR
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013 — conf
High-Level Counterexamples for Probabilistic Automata.
QEST
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013 — conf
Regular Model Checking Using Solver Technologies and Automata Learning.
NASA Formal Methods
Daniel Neider, Nils Jansen
2012 — conf
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.
MBMV
Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
2012 A conf
Minimal Critical Subsystems for Discrete-Time Markov Models.
TACAS
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen
2012 — conf
Symbolic Counterexample Generation for Discrete-Time Markov Chains.
FACS
Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
2012 B conf
The COMICS Tool - Computing Minimal Counterexamples for DTMCs.
ATVA
Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012 J jnl
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains
CoRR
Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2011 — conf
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.
FMOODS/FORTE
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
2011 B conf
Hierarchical Counterexamples for Discrete-Time Markov Chains.
ATVA
Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2011 — conf
On collaboratively conveying computer science to pupils.
Koli Calling
Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder
2011 — conf
SMT-based Counterexample Generation for Markov Chains.
MBMV
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
2010 — conf
DTMC Model Checking by SCC Reduction.
QEST
Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2010 — conf
Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik.
DeLFI
Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder