Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. - Erika Ábrahám; Philipp Brauner; Nils Jansen 001; Thiemo Leonhardt; Ulrich Loup; Ulrik Schroeder (DeLFI, 2010)

DTMC Model Checking by SCC Reduction. - Erika Ábrahám; Nils Jansen 001; Ralf Wimmer 001; Joost-Pieter Katoen; Bernd Becker 001 (QEST, 2010)

Hierarchical Counterexamples for Discrete-Time Markov Chains. - Nils Jansen 001; Erika Ábrahám; Jens Katelaan; Ralf Wimmer 001; Joost-Pieter Katoen; Bernd Becker 001 (ATVA, 2011)

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. - Bettina Braitling; Ralf Wimmer 001; Bernd Becker 001; Nils Jansen 001; Erika Ábrahám (FMOODS/FORTE, 2011)

On collaboratively conveying computer science to pupils. - Erika Ábrahám; Nadine Bergner; Philipp Brauner; Florian Corzilius; Nils Jansen 001; Thiemo Leonhardt; Ulrich Loup; Johanna Nellen; Ulrik Schroeder (Koli Calling, 2011)

SMT-based Counterexample Generation for Markov Chains. - Bettina Braitling; Ralf Wimmer 001; Bernd Becker 001; Nils Jansen 001; Erika Ábrahám (MBMV, 2011)

The COMICS Tool - Computing Minimal Counterexamples for DTMCs. - Nils Jansen 001; Erika Ábrahám; Matthias Volk 001; Ralf Wimmer 001; Joost-Pieter Katoen; Bernd Becker 001 (ATVA, 2012)

Symbolic Counterexample Generation for Discrete-Time Markov Chains. - Nils Jansen 001; Erika Ábrahám; Barna Zajzon; Ralf Wimmer 001; Johann Schuster; Joost-Pieter Katoen; Bernd Becker 001 (FACS, 2012)

Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. - Ralf Wimmer 001; Bernd Becker 001; Nils Jansen 001; Erika Ábrahám; Joost-Pieter Katoen (MBMV, 2012)

Minimal Critical Subsystems for Discrete-Time Markov Models. - Ralf Wimmer 001; Nils Jansen 001; Erika Ábrahám; Bernd Becker 001; Joost-Pieter Katoen (TACAS, 2012)

The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains - Nils Jansen 001; Erika Ábrahám; Maik Scheffler; Matthias Volk 001; Andreas Vorpahl; Ralf Wimmer 001; Joost-Pieter Katoen; Bernd Becker 001 (CoRR, 2012)

Regular Model Checking Using Solver Technologies and Automata Learning. - Daniel Neider; Nils Jansen 001 (NASA Formal Methods, 2013)

Fast Debugging of PRISM Models. - Christian Dehnert; Nils Jansen 001; Ralf Wimmer 001; Erika Ábrahám; Joost-Pieter Katoen (ATVA, 2014)

Accelerating Parametric Probabilistic Verification. - Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Ralf Wimmer 001; Erika Ábrahám; Joost-Pieter Katoen; Bernd Becker 001 (QEST, 2014)

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. - Erika Ábrahám; Bernd Becker 001; Christian Dehnert; Nils Jansen 001; Joost-Pieter Katoen; Ralf Wimmer 001 (SFM, 2014)

Symbolic counterexample generation for large discrete-time Markov chains. - Nils Jansen 001; Ralf Wimmer 001; Erika Ábrahám; Barna Zajzon; Joost-Pieter Katoen; Bernd Becker 001; Johann Schuster (Sci. Comput. Program., 2014)

Minimal counterexamples for linear-time probabilistic verification. - Ralf Wimmer 001; Nils Jansen 001; Erika Ábrahám; Joost-Pieter Katoen; Bernd Becker 001 (Theor. Comput. Sci., 2014)

Understanding Probabilistic Programs. - Joost-Pieter Katoen; Friedrich Gretz; Nils Jansen 001; Benjamin Lucien Kaminski; Federico Olmedo (Correct System Design, 2015)

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Harold Bruintjes; Joost-Pieter Katoen; Erika Ábrahám (CAV (1), 2015)

Counterexamples for Expected Rewards. - Tim Quatmann; Nils Jansen 001; Christian Dehnert; Ralf Wimmer 001; Erika Ábrahám; Joost-Pieter Katoen; Bernd Becker 001 (FM, 2015)

A Greedy Approach for the Efficient Repair of Stochastic Models. - Shashank Pathak; Erika Ábrahám; Nils Jansen 001; Armando Tacchella; Joost-Pieter Katoen (NFM, 2015)

High-level Counterexamples for Probabilistic Automata - Ralf Wimmer 001; Nils Jansen 001; Andreas Vorpahl; Erika Ábrahám; Joost-Pieter Katoen; Bernd Becker 001 (Log. Methods Comput. Sci., 2015)

Conditioning in Probabilistic Programming. - Nils Jansen 001; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Federico Olmedo; Friedrich Gretz; Annabelle McIver (MFPS, 2015)

Counterexamples in probabilistic verification. - Nils Jansen 001 (2015)

Probabilistic Verification for Cognitive Models. - Sebastian Junges; Nils Jansen 001; Joost-Pieter Katoen; Ufuk Topcu (AAAI Fall Symposia, 2016)

Bounded Model Checking for Probabilistic Programs. - Nils Jansen 001; Christian Dehnert; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Lukas Westhofen 001 (ATVA, 2016)

Parameter Synthesis for Markov Models: Faster Than Ever. - Tim Quatmann; Christian Dehnert; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen (ATVA, 2016)

Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. - Francesco Leofante; Simone Vuotto; Erika Ábrahám; Armando Tacchella; Nils Jansen 001 (ISoLA (1), 2016)

Parameter Synthesis for Probabilistic Systems. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Joost-Pieter Katoen; Erika Ábrahám; Harold Bruintjes (MBMV, 2016)

Safety-Constrained Reinforcement Learning for MDPs. - Sebastian Junges; Nils Jansen 001; Christian Dehnert; Ufuk Topcu; Joost-Pieter Katoen (TACAS, 2016)

Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. - Sebastian Junges; Nils Jansen 001; Joost-Pieter Katoen; Ufuk Topcu (CoRR, 2016)

Synthesis and Verification of Self-aware Computing Systems. - Radu Calinescu; Marco Autili; Javier Cámara 001; Antinisca Di Marco; Simos Gerasimou; Paola Inverardi; Alexander Perucci; Nils Jansen 001; Joost-Pieter Katoen; Marta Z. Kwiatkowska; Ole J. Mengshoel; Romina Spalazzese; et al. (Self-Aware Computing Systems, 2017)

Synthesis of shared control protocols with provable safety and performance guarantees. - Nils Jansen 001; Murat Cubuktepe; Ufuk Topcu (ACC, 2017)

Motion planning under partial observability using game-based abstraction. - Leonore Winterer; Sebastian Junges; Ralf Wimmer 001; Nils Jansen 001; Ufuk Topcu; Joost-Pieter Katoen; Bernd Becker 001 (CDC, 2017)

Sequential Convex Programming for the Efficient Verification of Parametric MDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ivan Papusha; Hasan A. Poonawala; Ufuk Topcu (TACAS (2), 2017)

Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. - Sebastian Junges; Nils Jansen 001; Ralf Wimmer 001; Tim Quatmann; Leonore Winterer; Joost-Pieter Katoen; Bernd Becker 001 (CoRR, 2017)

Verification of Uncertain POMDPs Using Barrier Certificates. - Mohamadreza Ahmadi; Murat Cubuktepe; Nils Jansen 001; Ufuk Topcu (Allerton, 2018)

Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. - Steven Carr 002; Nils Jansen 001; Ralf Wimmer 001; Jie Fu 002; Ufuk Topcu (ACC, 2018)

Synthesis in pMDPs: A Tale of 1001 Parameters. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (ATVA, 2018)

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. - Leonore Winterer; Sebastian Junges; Ralf Wimmer 001; Nils Jansen 001; Ufuk Topcu; Joost-Pieter Katoen; Bernd Becker 001 (MBMV, 2018)

Model Checking for Safe Navigation Among Humans. - Sebastian Junges; Nils Jansen 001; Joost-Pieter Katoen; Ufuk Topcu; Ruohan Zhang; Mary M. Hayhoe (QEST, 2018)

Finite-State Controllers of POMDPs using Parameter Synthesis. - Sebastian Junges; Nils Jansen 001; Ralf Wimmer 001; Tim Quatmann; Leonore Winterer; Joost-Pieter Katoen; Bernd Becker 001 (UAI, 2018)

Shielded Decision-Making in MDPs. - Nils Jansen 001; Bettina Könighofer; Sebastian Junges; Roderick Bloem (CoRR, 2018)

The Partially Observable Games We Play for Cyber Deception. - Mohamadreza Ahmadi; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (CoRR, 2018)

Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). - Nils Jansen 001; Joost-Pieter Katoen; Pushmeet Kohli; Jan Kretínský (Dagstuhl Reports, 2018)

Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. - Milan Ceska 002; Christian Dehnert; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen (From Reactive Systems to Cyber-Physical Systems, 2019)

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. - Steven Carr 002; Nils Jansen 001; Ralf Wimmer 001; Alexandru Constantin Serban; Bernd Becker 001; Ufuk Topcu (IJCAI, 2019)

Structured Synthesis for Probabilistic Systems. - Nils Jansen 001; Laura R. Humphrey; Jana Tumova; Ufuk Topcu (NFM, 2019)

Correct-by-construction policies for POMDPs. - Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Tim Quatmann; Bernd Becker 001; Ralf Wimmer 001; Leonore Winterer (SNR, 2019)

Shepherding Hordes of Markov Chains. - Milan Ceska 002; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen (TACAS (2), 2019)

Parameter Synthesis for Markov Models. - Sebastian Junges; Erika Ábrahám; Christian Hensel; Nils Jansen 001; Joost-Pieter Katoen; Tim Quatmann; Matthias Volk 001 (CoRR, 2019)

Robustness Verification for Classifier Ensembles. - Dennis Gross; Nils Jansen 001; Guillermo A. Pérez 001; Stephan Raaijmakers (ATVA, 2020)

Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). - Nils Jansen 001; Bettina Könighofer; Sebastian Junges; Alex Serban; Roderick Bloem (CONCUR, 2020)

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. - Steven Carr 002; Nils Jansen 001; Ufuk Topcu (IJCAI, 2020)

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. - Marnix Suilen; Nils Jansen 001; Murat Cubuktepe; Ufuk Topcu (IJCAI, 2020)

Shield Synthesis for Reinforcement Learning. - Bettina Könighofer; Florian Lorber; Nils Jansen 001; Roderick Bloem (ISoLA (1), 2020)

Neural Simplex Architecture. - Dung T. Phan; Radu Grosu; Nils Jansen 001; Nicola Paoletti; Scott A. Smolka; Scott D. Stoller (NFM, 2020)

Strengthening Deterministic Policies for POMDPs. - Leonore Winterer; Ralf Wimmer 001; Nils Jansen 001; Bernd Becker 001 (NFM, 2020)

Scenario-Based Verification of Uncertain MDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (TACAS (1), 2020)

Adversarial Patch Camouflage against Aerial Detection. - Ajaya Adhikari; Richard den Hollander; Ioannis Tolios; Michael van Bekkum; Anneloes Bal; Stijn Hendriks; Maarten Kruithof; Dennis Gross; Nils Jansen 001; Guillermo A. Pérez 001; Kit Buurman; Stephan Raaijmakers (CoRR, 2020)

Robust Finite-State Controllers for Uncertain POMDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Ahmadreza Marandi; Marnix Suilen; Ufuk Topcu (AAAI, 2021)

Adaptive Shielding under Uncertainty. - Stefan Pranger; Bettina Könighofer; Martin Tappler; Martin Deixelberger; Nils Jansen 001; Roderick Bloem (ACC, 2021)

AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training. - Thiago D. Simão; Nils Jansen 001; Matthijs T. J. Spaan (AAMAS, 2021)

Enforcing Almost-Sure Reachability in POMDPs. - Sebastian Junges; Nils Jansen 001; Sanjit A. Seshia (CAV (2), 2021)

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. - Thom S. Badings; Arnd Hartmanns; Nils Jansen 001; Marnix Suilen (NFM, 2021)

Safe Policies for Factored Partially Observable Stochastic Games. - Steven Carr 002; Nils Jansen 001; Sudarshanan Bharadwaj; Matthijs T. J. Spaan; Ufuk Topcu (Robotics: Science and Systems, 2021)

Formalizing and guaranteeing human-robot interaction. - Hadas Kress-Gazit; Kerstin Eder; Guy Hoffman; Henny Admoni; Brenna Argall; Rüdiger Ehlers; Christoffer Heckman; Nils Jansen 001; Ross A. Knepper; Jan Kretínský; Shelly Levy-Tzedek; Jamy Li; et al. (Commun. ACM, 2021)

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. - Thom S. Badings; Nils Jansen 001; Hasan A. Poonawala; Mariëlle Stoelinga (CoRR, 2021)

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. - Steven Carr 002; Nils Jansen 001; Ufuk Topcu (J. Artif. Intell. Res., 2021)

Damage detection using in-domain and cross-domain transfer learning. - Zaharah Allah Bukhsh; Nils Jansen 001; Aaqib Saeed (Neural Comput. Appl., 2021)

Control Theory Meets POMDPs: A Hybrid Systems Approach. - Mohamadreza Ahmadi; Nils Jansen 001; Bo Wu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2021)

Synthesis of Provably Correct Autonomy Protocols for Shared Control. - Murat Cubuktepe; Nils Jansen 001; Mohammed Alshiekh; Ufuk Topcu (IEEE Trans. Autom. Control., 2021)

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. - Leonore Winterer; Sebastian Junges; Ralf Wimmer 001; Nils Jansen 001; Ufuk Topcu; Joost-Pieter Katoen; Bernd Becker 001 (IEEE Trans. Autom. Control., 2021)

Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. - Sebastian Junges; Nils Jansen 001; Sanjit A. Seshia (Zenodo, 2021)

Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. - Sebastian Junges; Nils Jansen 001; Sanjit A. Seshia (Zenodo, 2021)

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. - Thom S. Badings; Alessandro Abate; Nils Jansen 001; David Parker 001; Hasan A. Poonawala; Mariëlle Stoelinga (AAAI, 2022)

Parameter Synthesis in Markov Models: A Gentle Survey. - Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen (Principles of Systems Design, 2022)

Sampling-Based Verification of CTMCs with Uncertain Rates. - Thom S. Badings; Nils Jansen 001; Sebastian Junges; Mariëlle Stoelinga; Matthias Volk 001 (CAV (2), 2022)

Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks. - David Kerkkamp; Zaharah Allah Bukhsh; Yingqian Zhang 001; Nils Jansen 001 (ICAART (2), 2022)

Robust Anytime Learning of Markov Decision Processes. - Marnix Suilen; Thiago D. Simão; David Parker 001; Nils Jansen 001 (NeurIPS, 2022)

COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. - Dennis Gross; Nils Jansen 001; Sebastian Junges; Guillermo A. Pérez 001 (SETTA, 2022)

Safe Reinforcement Learning via Shielding for POMDPs. - Steven Carr 002; Nils Jansen 001; Sebastian Junges; Ufuk Topcu (CoRR, 2022)

Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. - Luke Rickard; Thom S. Badings; Licio Romao; Nils Jansen 001; Alessandro Abate (CoRR, 2022)

Scenario-based verification of uncertain parametric MDPs. - Thom S. Badings; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (Int. J. Softw. Tools Technol. Transf., 2022)

Convex Optimization for Parameter Synthesis in MDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (IEEE Trans. Autom. Control., 2022)

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'. - Thom S. Badings; Sebastian Junges; Nils Jansen 001; Mariëlle Stoelinga; Matthias Volk 001 (Zenodo, 2022)

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. - Thom S. Badings; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (Zenodo, 2022)

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. - Thom S. Badings; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (Zenodo, 2022)

Experiments for 'Sampling-Based Verification of CTMCs with Uncertain Rates'. - Thom S. Badings; Nils Jansen 001; Sebastian Junges; Mariëlle Stoelinga; Matthias Volk 001 (Zenodo, 2022)

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. - Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen 001 (AAAI, 2023)

Safe Reinforcement Learning via Shielding under Partial Observability. - Steven Carr 002; Nils Jansen 001; Sebastian Junges; Ufuk Topcu (AAAI, 2023)

Safe Policy Improvement for POMDPs via Finite-State Controllers. - Thiago D. Simão; Marnix Suilen; Nils Jansen 001 (AAAI, 2023)

Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. - Dennis Gross; Christoph Schmidl; Nils Jansen 001; Guillermo A. Pérez 001 (ICAPS, 2023)

Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. - Merlijn Krale; Thiago D. Simão; Nils Jansen 001 (ICAPS, 2023)

Efficient Sensitivity Analysis for Parametric Robust Markov Chains. - Thom S. Badings; Sebastian Junges; Ahmadreza Marandi; Ufuk Topcu; Nils Jansen 001 (CAV (3), 2023)

Reinforcement Learning by Guided Safe Exploration. - Qisong Yang; Thiago D. Simão; Nils Jansen 001; Simon H. Tindemans; Matthijs T. J. Spaan (ECAI, 2023)

Intelligent and Dependable Decision-Making Under Uncertainty. - Nils Jansen 001 (FM, 2023)

Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. - Dennis Gross; Thiago D. Simão; Nils Jansen 001; Guillermo A. Pérez 001 (ICAART (3), 2023)

Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. - Yannick Hogewind; Thiago D. Simão; Tal Kachman; Nils Jansen 001 (ICLR, 2023)

Recursive Small-Step Multi-Agent A* for Dec-POMDPs. - Wietze Koops; Nils Jansen 001; Sebastian Junges; Thiago D. Simão (IJCAI, 2023)

More for Less: Safe Policy Improvement with Stronger Performance Guarantees. - Patrick Wienhöft; Marnix Suilen; Thiago D. Simão; Clemens Dubslaff; Christel Baier; Nils Jansen 001 (IJCAI, 2023)

Robust Almost-Sure Reachability in Multi-Environment MDPs. - Marck van der Vegt; Nils Jansen 001; Sebastian Junges (TACAS (1), 2023)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

Risk-aware curriculum generation for heavy-tailed task distributions. - Cevahir Köprülü; Thiago D. Simão; Nils Jansen 001; Ufuk Topcu (UAI, 2023)

Welcome Remarks from AISoLA 2023/Track C2 Chairs. - Nils Jansen 001; Bettina Könighofer; Jan Kretínský; Kim G. Larsen (AISoLA, 2023)

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. - Thom S. Badings; Nils Jansen 001; Licio Romao; Alessandro Abate (FMAS@iFM, 2023)

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. - Thom S. Badings; Licio Romao; Alessandro Abate; David Parker 001; Hasan A. Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (J. Artif. Intell. Res., 2023)

Robust Almost-Sure Reachability in Multi-Environment MDPs: Supplemental Material. - Marck van der Vegt; Nils Jansen 001; Sebastian Junges (Zenodo, 2023)

Robust Almost-Sure Reachability in Multi-Environment MDPs: Supplemental Material. - Marck van der Vegt; Nils Jansen 001; Sebastian Junges (Zenodo, 2023)

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. - Thom S. Badings; Sebastian Junges; Ahmadreza Marandi; Ufuk Topcu; Nils Jansen 001 (Zenodo, 2023)

Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. - Thom S. Badings; Sebastian Junges; Ahmadreza Marandi; Ufuk Topcu; Nils Jansen 001 (Zenodo, 2023)

Supplementary Material for "Recursive Small-Step Multi-Agent A* for Dec-POMDPs". - Wietze Koops; Nils Jansen 001; Sebastian Junges; Thiago D. Simão (Zenodo, 2023)

Decision-making under uncertainty: beyond probabilities. - Thom S. Badings; Thiago D. Simão; Marnix Suilen; Nils Jansen 001 (Int. J. Softw. Tools Technol. Transf., 2023)

Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). - Nils Jansen 001; Gerrit Nolte; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2023)

Artifact for "CTMCs with Imprecisely Timed Observations". - Thom S. Badings; Matthias Volk 001; Sebastian Junges; Mariëlle Stoelinga; Nils Jansen 001 (Zenodo, 2023)

Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492). - Ellen Enkel; Nils Jansen 001; Mohammad Reza Mousavi 001; Kristin Yvonne Rozier (Dagstuhl Reports, 2023)

Factored Online Planning in Many-Agent POMDPs. - Maris F. L. Galesloot; Thiago D. Simão; Sebastian Junges; Nils Jansen 001 (AAAI, 2024)

Robust Active Measuring under Model Uncertainty. - Merlijn Krale; Thiago D. Simão; Jana Tumova; Nils Jansen 001 (AAAI, 2024)

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet. - Marnix Suilen; Thom S. Badings; Eline M. Bovy; David Parker 001; Nils Jansen 001 (Principles of Verification (3), 2024)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. - Thom S. Badings; Licio Romao; Alessandro Abate; Nils Jansen 001 (ECC, 2024)

A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling. - Christoph Schmidl; Thiago D. Simão; Nils Jansen 001 (ICAART (3), 2024)

Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. - Eline M. Bovy; Marnix Suilen; Sebastian Junges; Nils Jansen 001 (IJCAI, 2024)

Approximate Dec-POMDP Solving Using Multi-Agent A*. - Wietze Koops; Sebastian Junges; Nils Jansen 001 (IJCAI, 2024)

CTMCs with Imprecisely Timed Observations. - Thom S. Badings; Matthias Volk 001; Sebastian Junges; Mariëlle Stoelinga; Nils Jansen 001 (TACAS (2), 2024)

Approximate Dec-POMDP Solving Using Multi-Agent A. - Wietze Koops; Sebastian Junges; Nils Jansen 001 (CoRR, 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)

Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. - Thom S. Badings; Wietze Koops; Sebastian Junges; Nils Jansen 001 (CoRR, 2024)

Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning. - Lisandro Arturo Jimenez-Roa; Thiago D. Simão; Zaharah Allah Bukhsh; Tiedo Tinga; Hajo Molegraaf; Nils Jansen 001; Mariëlle Stoelinga (CoRR, 2024)

Pessimistic Iterative Planning for Robust POMDPs. - Maris F. L. Galesloot; Marnix Suilen; Thiago D. Simão; Steven Carr 002; Matthijs T. J. Spaan; Ufuk Topcu; Nils Jansen 001 (CoRR, 2024)

Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361). - Nils Jansen 001; Mykel J. Kochenderfer; Jan Kretínský; Jana Tumova; Maris F. L. Galesloot (Dagstuhl Reports, 2024)

Supplementary Material for "Approximate Dec-POMDP Solving Using Multi-Agent A*". - Wietze Koops; Sebastian Junges; Nils Jansen 001 (Zenodo, 2024)

Parameter synthesis for Markov models: covering the parameter space. - Sebastian Junges; Erika Ábrahám; Christian Hensel; Nils Jansen 001; Joost-Pieter Katoen; Tim Quatmann; Matthias Volk 001 (Formal Methods Syst. Des., 2024)

Strong Simple Policies for POMDPs. - Leonore Winterer; Ralf Wimmer 001; Bernd Becker 001; Nils Jansen 001 (Int. J. Softw. Tools Technol. Transf., 2024)

DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems. - Thom S. Badings; Licio Romao; Alessandro Abate; Dave Parker; Hasan Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (Zenodo, 2024)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates. - Thom S. Badings; Wietze Koops; Sebastian Junges; Nils Jansen 001 (CAV (2), 2025)

Safety-Prioritizing Curricula for Constrained Reinforcement Learning. - Cevahir Köprülü; Thiago D. Simão; Nils Jansen 001; Ufuk Topcu (ICLR, 2025)

Robust Transfer of Safety-Constrained Reinforcement Learning Agents. - Markel Zubia; Thiago D. Simão; Nils Jansen 001 (ICLR, 2025)

Tighter Value-Function Approximations for POMDPs. - Merlijn Krale; Wietze Koops; Sebastian Junges; Thiago D. Simão; Nils Jansen 001 (AAMAS, 2025)

Does Knowledge About Perceptual Uncertainty Help an Agent in Automated Driving? - Natalie Grabowsky; Annika Mütze; Joshua Wendland; Nils Jansen 001; Matthias Rottmann (CoRR, 2025)

rfPG: Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs. - Maris F. L. Galesloot; Roman Andriushchenko; Milan Ceska 002; Sebastian Junges; Nils Jansen 001 (CoRR, 2025)

A maintenance planning framework using online and offline deep reinforcement learning. - Zaharah Allah Bukhsh; Hajo Molegraaf; Nils Jansen 001 (Neural Comput. Appl., 2025)