publications

2026

1. IJCAI

   Missingness-MDPs: Bridging the Theory of Missing Data and POMDPs

   Joshua Wendland, Markel Zubia, Roman Andriushchenko, Maris F. L. Galesloot, Milan Češka, Henrik Kleist, Thiago D. Simão, Maximilian Weininger, and Nils Jansen

   In IJCAI 2026

   Bib

   @inproceedings{Wendland2026Missingness,
     author = {Wendland, Joshua and Zubia, Markel and Andriushchenko, Roman and Galesloot, Maris F. L. and {\v{C}}e{\v{s}}ka, Milan and von Kleist, Henrik and Sim{\~a}o, Thiago D. and Weininger, Maximilian and Jansen, Nils},
     title = {Missingness-{MDP}s: Bridging the Theory of Missing Data and {POMDP}s},
     booktitle = {IJCAI},
     year = {2026},
     keywords = {reviewed,conference}
   }

2. AAMAS

   Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?

   Kush Grover, Markel Zubia, Debraj Chakraborty, Muqsit Azeem, Nils Jansen, and Jan Křetínský

   In AAMAS 2026

   Bib

   @inproceedings{Grover2026Resilient,
     author = {Grover, Kush and Zubia, Markel and Chakraborty, Debraj and Azeem, Muqsit and Jansen, Nils and K{\v{r}}et{\'i}nsk{\'y}, Jan},
     title = {Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?},
     booktitle = {AAMAS},
     year = {2026},
     keywords = {reviewed,conference}
   }

3. AAMAS

   Finite-State Controllers for (Hidden-Model) POMDPs using Deep Reinforcement Learning

   David Hudák, Maris F. L. Galesloot, Martin Tappler, Martin Kurečka, Nils Jansen, and Milan Češka

   In AAMAS 2026

   Bib

   @inproceedings{Hudak2026FiniteState,
     author = {Hud{\'a}k, David and Galesloot, Maris F. L. and Tappler, Martin and Kure{\v{c}}ka, Martin and Jansen, Nils and {\v{C}}e{\v{s}}ka, Milan},
     title = {Finite-State Controllers for (Hidden-Model) {POMDP}s using Deep Reinforcement Learning},
     booktitle = {AAMAS},
     year = {2026},
     keywords = {reviewed,conference}
   }

4. AAMAS

   Perception-Based Beliefs for POMDPs with Visual Observations

   Miriam Schäfers, Merlijn Krale, Thiago D. Simão, Nils Jansen, and Maximilian Weininger

   In AAMAS 2026

   Bib

   @inproceedings{Schafers2026Perception,
     author = {Sch{\"a}fers, Miriam and Krale, Merlijn and Sim{\~a}o, Thiago D. and Jansen, Nils and Weininger, Maximilian},
     title = {Perception-Based Beliefs for {POMDP}s with Visual Observations},
     booktitle = {AAMAS},
     year = {2026},
     keywords = {reviewed,conference}
   }

5. FMCAD

   Property-driven Causal Abstractions for Markov Decision Processes

   Jule Schmidt, Maximilian Weininger, Clemens Dubslaff, David Parker, and Nils Jansen

   In FMCAD 2026

   Bib

   @inproceedings{Schmidt2026Property,
     author = {Schmidt, Jule and Weininger, Maximilian and Dubslaff, Clemens and Parker, David and Jansen, Nils},
     title = {Property-driven Causal Abstractions for Markov Decision Processes},
     booktitle = {FMCAD},
     year = {2026},
     keywords = {reviewed,conference}
   }

6. RV

   Adaptive Probabilistic Shielding by Learning MDPs for Safe Reinforcement Learning

   Astrid Horn Brorholt, Maris F. L. Galesloot, Nils Jansen, Kim Guldstrand Larsen, and Christian Schilling

   In RV 2026

   Bib

   @inproceedings{Brorholt2026Adaptive,
     author = {Brorholt, Astrid Horn and Galesloot, Maris F. L. and Jansen, Nils and Larsen, Kim Guldstrand and Schilling, Christian},
     title = {Adaptive Probabilistic Shielding by Learning MDPs for Safe Reinforcement Learning},
     booktitle = {RV},
     year = {2026},
     keywords = {reviewed,conference}
   }

7. ICAART

   A Case for Causal Reinforcement Learning in Longitudinal Vehicle Control

   Jule Schmidt, Xin Tao, Chelsea Sidrane, Swarup Kumar Mohalik, Akhil Prasad, Jana Tumova, and Nils Jansen

   In ICAART 2026

   Bib

   @inproceedings{Schmidt2026Causal,
     author = {Schmidt, Jule and Tao, Xin and Sidrane, Chelsea and Mohalik, Swarup Kumar and Prasad, Akhil and Tumova, Jana and Jansen, Nils},
     title = {A Case for Causal Reinforcement Learning in Longitudinal Vehicle Control},
     booktitle = {ICAART},
     year = {2026},
     keywords = {reviewed,conference}
   }

2025

1. CACM

   Shields for Safe Reinforcement Learning

   Bettina Könighofer, Roderick Bloem, Nils Jansen, Sebastian Junges, and Stefan Pranger

   Communications of the ACM 2025

   Bib

   @article{Konighofer2025Shields,
     author = {K{\"o}nighofer, Bettina and Bloem, Roderick and Jansen, Nils and Junges, Sebastian and Pranger, Stefan},
     title = {Shields for Safe Reinforcement Learning},
     journal = {Communications of the ACM},
     volume = {68},
     number = {11},
     pages = {80--90},
     year = {2025},
     keywords = {reviewed,journal}
   }

2. NeurIPS

   On Evaluating Policies for Robust POMDPs

   Merlijn Krale, Eline M. Bovy, Maris F. L. Galesloot, Thiago D. Simão, and Nils Jansen

   In NeurIPS 2025

   Bib

   @inproceedings{Krale2025Evaluating,
     author = {Krale, Merlijn and Bovy, Eline M. and Galesloot, Maris F. L. and Sim{\~a}o, Thiago D. and Jansen, Nils},
     title = {On Evaluating Policies for Robust POMDPs},
     booktitle = {NeurIPS},
     year = {2025},
     keywords = {reviewed,conference}
   }

3. NeurIPS

   Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability

   Eline M. Bovy, Caleb Probine, Marnix Suilen, Ufuk Topcu, and Nils Jansen

   In NeurIPS 2025

   Bib

   @inproceedings{Bovy2025MultiEnvironment,
     author = {Bovy, Eline M. and Probine, Caleb and Suilen, Marnix and Topcu, Ufuk and Jansen, Nils},
     title = {Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability},
     booktitle = {NeurIPS},
     year = {2025},
     keywords = {reviewed,conference}
   }

4. CAV

   Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

   Thom Badings, Wietze Koops, Sebastian Junges, and Nils Jansen

   In CAV (2) 2025

   Bib

   @inproceedings{Badings2025Policy,
     author = {Badings, Thom and Koops, Wietze and Junges, Sebastian and Jansen, Nils},
     title = {Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates},
     booktitle = {CAV (2)},
     pages = {349--375},
     year = {2025},
     keywords = {reviewed,conference}
   }

5. ICLR

   Safety-Prioritizing Curricula for Constrained Reinforcement Learning

   Cevahir Köprülü, Thiago D. Simão, Nils Jansen, and Ufuk Topcu

   In ICLR 2025

   Bib

   @inproceedings{Koprulu2025Safety,
     author = {K{\"o}prül{\"u}, Cevahir and Sim{\~a}o, Thiago D. and Jansen, Nils and Topcu, Ufuk},
     title = {Safety-Prioritizing Curricula for Constrained Reinforcement Learning},
     booktitle = {ICLR},
     year = {2025},
     keywords = {reviewed,conference}
   }

6. ICLR

   Robust Transfer of Safety-Constrained Reinforcement Learning Agents

   Markel Zubia, Thiago D. Simão, and Nils Jansen

   In ICLR 2025

   Bib

   @inproceedings{Zubia2025Robust,
     author = {Zubia, Markel and Sim{\~a}o, Thiago D. and Jansen, Nils},
     title = {Robust Transfer of Safety-Constrained Reinforcement Learning Agents},
     booktitle = {ICLR},
     year = {2025},
     keywords = {reviewed,conference}
   }

7. IJCAI

   Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs

   Maris F. L. Galesloot, Roman Andriushchenko, Milan Češka, Sebastian Junges, and Nils Jansen

   In IJCAI 2025

   Bib

   @inproceedings{Galesloot2025RobustFinite,
     author = {Galesloot, Maris F. L. and Andriushchenko, Roman and {\v{C}}e{\v{s}}ka, Milan and Junges, Sebastian and Jansen, Nils},
     title = {Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs},
     booktitle = {IJCAI},
     pages = {8518--8526},
     year = {2025},
     keywords = {reviewed,conference}
   }

8. AAMAS

   Tighter Value-Function Approximations for POMDPs

   Merlijn Krale, Wietze Koops, Sebastian Junges, Thiago D. Simão, and Nils Jansen

   In AAMAS 2025

   Bib

   @inproceedings{Krale2025Tighter,
     author = {Krale, Merlijn and Koops, Wietze and Junges, Sebastian and Sim{\~a}o, Thiago D. and Jansen, Nils},
     title = {Tighter Value-Function Approximations for POMDPs},
     booktitle = {AAMAS},
     pages = {1200--1208},
     year = {2025},
     keywords = {reviewed,conference}
   }

9. ECAI

   Pessimistic Iterative Planning with RNNs for Robust POMDPs

   Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, and Nils Jansen

   In ECAI 2025

   Bib

   @inproceedings{Galesloot2025Pessimistic,
     author = {Galesloot, Maris F. L. and Suilen, Marnix and Sim{\~a}o, Thiago D. and Carr, Steven and Spaan, Matthijs T. J. and Topcu, Ufuk and Jansen, Nils},
     title = {Pessimistic Iterative Planning with RNNs for Robust POMDPs},
     booktitle = {ECAI},
     pages = {4823--4831},
     year = {2025},
     keywords = {reviewed,conference}
   }

10. NCA

    A Maintenance Planning Framework Using Online and Offline Deep Reinforcement Learning

    Zaharah Allah Bukhsh, Hajo Molegraaf, and Nils Jansen

    Neural Computing and Applications 2025

    Bib

    @article{Bukhsh2025Maintenance,
      author = {Bukhsh, Zaharah Allah and Molegraaf, Hajo and Jansen, Nils},
      title = {A Maintenance Planning Framework Using Online and Offline Deep Reinforcement Learning},
      journal = {Neural Computing and Applications},
      volume = {37},
      number = {19},
      pages = {13209--13220},
      year = {2025},
      keywords = {reviewed,journal}
    }

11. Book

    Probabilistic Counterexamples Through the Ages

    Erika Ábrahám, Nils Jansen, and Simon Jantsch

    In Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday 2025

    Bib

    @incollection{Abraham2025Probabilistic,
      author = {{\'A}brah{\'a}m, Erika and Jansen, Nils and Jantsch, Simon},
      title = {Probabilistic Counterexamples Through the Ages},
      booktitle = {Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday},
      series = {Lecture Notes in Computer Science},
      volume = {15760},
      publisher = {Springer},
      pages = {174--196},
      year = {2025},
      keywords = {reviewed}
    }

2024

1. Festschrift

   Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday

   Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, and Matthias Volk (eds.)

   2024
2. AAAI

   Factored Online Planning in Many-Agent POMDPs

   Maris Galesloot, Thiago D. Simão, Sebastiaan Junges, and Nils Jansen

   In AAAI 2024

   Bib

   @inproceedings{Galesloot2024Factored,
     author = {Galesloot, Maris and Sim{\~{a}}o, Thiago D. and Junges, Sebastiaan and Jansen, Nils},
     title = {Factored Online Planning in Many-Agent POMDPs},
     booktitle = {{AAAI}},
     year = {2024},
   }

3. AAAI

   Robust Active Measuring under Model Uncertainty

   Merlijn Krale, Thiago D. Simão, Jana Tumova, and Nils Jansen

   In AAAI 2024

   Bib

   @inproceedings{Krale2024Robust,
     author = {Krale, Merlijn and Sim{\~{a}}o, Thiago D. and Tumova, Jana and Jansen, Nils},
     title = {Robust Active Measuring under Model Uncertainty},
     booktitle = {{AAAI}},
     year = {2024},
   }

4. IJCAI

   Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs

   Eline M. Bovy, Marnix Suilen, Sebastian Junges, and Nils Jansen

   In IJCAI 2024

   Bib

   @inproceedings{Bovy2024Imprecise,
     author = {Bovy, Eline M. and Suilen, Marnix and Junges, Sebastian and Jansen, Nils},
     title = {Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs},
     booktitle = {{IJCAI}},
     year = {2024},
     keywords = {reviewed,conference}
   }

5. IJCAI

   Approximate Dec-POMDP Solving Using Multi-Agent A*

   Wietze Koops, Sebastian Junges, and Nils Jansen

   In IJCAI 2024

   arXiv Bib Code

   @inproceedings{Koops2024Approximate,
     author = {Koops, Wietze and Junges, Sebastian and Jansen, Nils},
     title = {Approximate Dec-POMDP Solving Using Multi-Agent A*},
     booktitle = {{IJCAI}},
     year = {2024},
     keywords = {reviewed,conference}
   }

6. TACAS

   CTMCs with Imprecisely Timed Observations

   Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, and Nils Jansen

   In TACAS (2) 2024

   arXiv Bib

   @inproceedings{Badings2024CTMCs,
     author = {Badings, Thom S. and Volk, Matthias and Junges, Sebastian and Stoelinga, Mari{\"{e}}lle and Jansen, Nils},
     title = {CTMCs with Imprecisely Timed Observations},
     booktitle = {{TACAS} {(2)}},
     series = {Lecture Notes in Computer Science},
     volume = {14571},
     pages = {258--278},
     publisher = {Springer},
     year = {2024},
   }

7. ICAART

   A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling

   Christoph Schmidl, Thiago D. Simão, and Nils Jansen

   In ICAART 2024
8. Book

   Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet

   Marnix Suilen, Thom Badings, Eline M. Bovy, David Parker, and Nils Jansen

   In Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday 2024

   Bib

   @incollection{Suilen2024Robust,
     author = {Suilen, Marnix and Badings, Thom and Bovy, Eline M. and Parker, David and Jansen, Nils},
     title = {Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet},
     booktitle = {Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday},
     series = {Lecture Notes in Computer Science},
     pages = {126--154},
     publisher = {Springer},
     year = {2024},
     keywords = {reviewed}
   }

9. PHM

   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, and Mariëlle Stoelinga

   In European Conference of the PHM Society 2024

   Bib

   @inproceedings{Jimenez2024PHM,
     author = {Jimenez{-}Roa, Lisandro Arturo and Sim{\~{a}}o, Thiago D. and Bukhsh, Zaharah Allah and Tinga, Tiedo and Molegraaf, Hajo and Jansen, Nils and Stoelinga, Mari{\"{e}}lle},
     title = {Maintenance Strategies for Sewer Pipes with Multi-State Degradation
                       and Deep Reinforcement Learning},
     booktitle = {European Conference of the PHM Society},
     year = {2024},
     keywords = {reviewed,conference}
   }

10. ECC

    A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions

    Thom Badings, Licio Romao, Alessandro Abate, and Nils Jansen

    In European Control Conference (ECC) 2024

    arXiv Bib

    @inproceedings{Badings2024Stability,
      author = {Badings, Thom and Romao, Licio and Abate, Alessandro and Jansen, Nils},
      title = {A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions},
      booktitle = {European Control Conference (ECC)},
      year = {2024},
    }

11. FMSD

    Parameter synthesis for Markov models: covering the parameter space

    Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk

    Formal Methods in System Design 2024

    Bib

    @article{Junges2024Parameter,
      author = {Junges, Sebastian and {\'A}brah{\'a}m, Erika and Hensel, Christian and Jansen, Nils and Katoen, Joost{-}Pieter and Quatmann, Tim and Volk, Matthias},
      title = {Parameter synthesis for Markov models: covering the parameter space},
      journal = {Formal Methods in System Design},
      volume = {62},
      number = {1},
      pages = {181--259},
      year = {2024},
      keywords = {reviewed,journal}
    }

2023

1. QEST

   Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

   Nils Jansen, and Mirco Tribastone (eds.)

   2023

   Bib

   @proceedings{DBLP:conf/qest/2023,
     editor = {Jansen, Nils and Tribastone, Mirco},
     title = {Quantitative Evaluation of Systems - 20th International Conference,
                       {QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
     series = {Lecture Notes in Computer Science},
     volume = {14287},
     publisher = {Springer},
     year = {2023},
   }

2. TOOLympics

   Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

   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 Kreťínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, and Zhen Zhang

   In TOOLympics Challenge 2023 2023

   Bib

   @inproceedings{Andriushchenko2023QComp,
     author = {Andriushchenko, Roman and Bork, Alexander and Budde, Carlos E. and Ceska, Milan and Grover, Kush and Hahn, Ernst Moritz and Hartmanns, Arnd and Israelsen, Bryant and Jansen, Nils and Jeppson, Joshua and Junges, Sebastian and K{\"o}hl, Maximilian A. and K{\"o}nighofer, Bettina and Kre{\v{t}}{\'i}nsk{\'y}, Jan and Meggendorfer, Tobias and Parker, David and Pranger, Stefan and Quatmann, Tim and Ruijters, Enno and Taylor, Landon and Volk, Matthias and Weininger, Maximilian and Zhang, Zhen},
     title = {Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report},
     booktitle = {TOOLympics Challenge 2023},
     series = {Lecture Notes in Computer Science},
     volume = {14550},
     pages = {90--146},
     publisher = {Springer},
     year = {2023},
     keywords = {reviewed,conference}
   }

3. JAIR

   Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

   Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, and Nils Jansen

   J. Artif. Intell. Res. 2023
4. CAV

   Efficient Sensitivity Analysis for Parametric Robust Markov Chains

   Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, and Nils Jansen

   In CAV 2023
5. ICLR

   Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation

   Yannick Hogewind, Thiago D. Simão, Tal Kachman, and Nils Jansen

   In ICLR 2023
6. AAAI

   Safe Policy Improvement for POMDPs via Finite-State Controllers

   Thiago D. Simão, Marnix Suilen, and Nils Jansen

   In AAAI 2023
7. AAAI

   Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty

   Thom S. Badings, Licio Romano, Alessandro Abate, and Nils Jansen

   In AAAI 2023
8. AAAI

   Safe Reinforcement Learning via Shielding under Partial Observability

   Steven Carr, Nils Jansen, Sebastian Junges, and Ufuk Topcu

   In AAAI 2023
9. IJCAI

   More for Less: Safe Policy Improvement with Stronger Performance Guarantees

   Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, and Nils Jansen

   In IJCAI 2023
10. IJCAI

    Recursive Small-Step Multi-Agent A* for Dec-POMDPs

    Wietze Koops, Nils Jansen, Sebastian Junges, and Thiago D. Simão

    In IJCAI 2023
11. TACAS

    Robust Almost-Sure Reachability in Multi-Environment MDPs

    Marck van der Vegt, Nils Jansen, and Sebastian Junges

    In TACAS 2023
12. ECAI

    Reinforcement Learning by Guided Safe Exploration

    Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, and Matthijs T. J. Spaan

    In ECAI 2023

    arXiv Bib

    @inproceedings{Yang2023reinforcement,
      title = {Reinforcement Learning by Guided Safe Exploration},
      author = {Yang, Qisong and Sim{\~a}o, Thiago D. and Jansen, Nils and Tindemans, Simon H. and Spaan, Matthijs T. J.},
      booktitle = {ECAI},
      year = {2023},
    }

13. UAI

    Risk-aware Curriculum Generation for Heavy-tailed Task Distributions

    Cevahir Koprulu, Thiago D. Simão, Nils Jansen, and Ufuk Topcu

    In UAI 2023
14. ICAPS

    Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring

    Merlijn Krale, Thiago D. Simão, and Nils Jansen

    In ICAPS 2023
15. ICAPS

    Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods

    Dennis Groß, Christoph Schmidl, Nils Jansen, and Guillermo Perez

    In ICAPS 2023
16. Book

    Shared Control with Human Trust and Workload Models

    Murat Cubuktepe, Nils Jansen, and Ufuk Topcu

    In Cyber-Physical-Human Systems: Fundamentals and Applications 2023

    Bib

    @incollection{Cubuktepe2023Shared,
      author = {Cubuktepe, Murat and Jansen, Nils and Topcu, Ufuk},
      title = {Shared Control with Human Trust and Workload Models},
      booktitle = {Cyber-Physical-Human Systems: Fundamentals and Applications},
      pages = {125--143},
      publisher = {Wiley},
      year = {2023},
      keywords = {reviewed}
    }

17. FMAS

    Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions

    Thom S. Badings, Nils Jansen, Licio Romao, and Alessandro Abate

    In FMAS@iFM 2023

    arXiv Bib

    @inproceedings{Badings2024Correct,
      author = {Badings, Thom S. and Jansen, Nils and Romao, Licio and Abate, Alessandro},
      title = {Correct-by-Construction Control for Stochastic and Uncertain Dynamical
                        Models via Formal Abstractions},
      booktitle = {FMAS@iFM},
      series = {{EPTCS}},
      volume = {395},
      pages = {144--152},
      year = {2023},
    }

18. Editorial

    Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)

    Nils Jansen, Gerrit Nolte, and Bernhard Steffen

    International Journal on Software Tools for Technology Transfer 2023

    Bib

    @article{Jansen2023ExPLAIn,
      author = {Jansen, Nils and Nolte, Gerrit and Steffen, Bernhard},
      title = {Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn)},
      journal = {International Journal on Software Tools for Technology Transfer},
      volume = {25},
      number = {3},
      pages = {241--247},
      year = {2023},
      keywords = {editorial}
    }

19. STTT

    Strong Simple Policies for POMDPs

    Leonore Winterer, Ralf Wimmer, Nils Jansen, and Bernd Becker

    Int. J. Softw. Tools Technol. Transf. 2023

    arXiv Bib

    @article{Winterer2023Strong,
      author = {Winterer, Leonore and Wimmer, Ralf and Jansen, Nils and Becker, Bernd},
      title = {Strong Simple Policies for POMDPs},
      journal = {Int. J. Softw. Tools Technol. Transf.},
      year = {2023},
    }

20. FMSD

    Parameter Synthesis for Markov Models Covering the Parameter Space

    Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk

    Formal Methods in System Design 2023

    arXiv Bib

    @article{Junges2023Parameter,
      author = {Junges, Sebastian and {\'{A}}brah{\'{a}}m, Erika and Hensel, Christian and Jansen, Nils and Katoen, Joost-Pieter and Quatmann, Tim and Volk, Matthias},
      title = {Parameter Synthesis for Markov Models Covering the Parameter Space},
      journal = {Formal Methods in System Design},
      year = {2023},
    }

21. LNCS

    Intelligent and Dependable Decision-Making Under Uncertainty

    Nils Jansen

    In FM 2023

    Bib PDF

    @inproceedings{DBLP:conf/fm/Jansen23,
      author = {Jansen, Nils},
      title = {Intelligent and Dependable Decision-Making Under Uncertainty},
      booktitle = {{FM}},
      series = {Lecture Notes in Computer Science},
      volume = {14000},
      pages = {26--36},
      publisher = {Springer},
      year = {2023},
    }

22. STTT

    Decision-making under uncertainty: beyond probabilities. Challenges and Perspectives

    Thom Badings, Thiago D. Simão, Marnix Suilen, and Nils Jansen

    STTT 2023
23. ICAART

    Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking

    Dennis Gross, Thiago D. Simão, Nils Jansen, and Guillermo A. Pérez

    In ICAART 2023
24. NCA

    A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning

    Zaharah Allah Bukhsh, Hajo Molegraaf, and Nils Jansen

    Neural Comput. Appl. 2023
25. Book

    Shared Control with Human Trust and Workload Models

    Murat Cubuktepe, Nils Jansen, and Ufuk Topcu

    Cyber-Physical-Human Systems: Fundamentals and Applications, 2023

2022

1. Festschrift

   A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

   Nils Jansen, Mariëlle Stoelinga, and Petra Bos (eds.)

   2022
2. NeurIPS

   Robust Anytime Learning of Markov Decision Processes

   Marnix Suilen, Thiago D. Simão, David Parker, and Nils Jansen

   In NeurIPS 2022
3. CAV

   Sampling-Based Verification of CTMCs with Uncertain Rates

   Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, and Matthias Volk

   In CAV (2) 2022
4. AAAI

   Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise

   Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, and Mariëlle Stoelinga

   In AAAI 2022
5. TAC

   Convex Optimization for Parameter Synthesis in MDPs

   Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, and Ufuk Topcu

   IEEE Trans. Autom. Control. 2022

   Bib

   @article{Cubuktepe2022Convex,
     author = {Cubuktepe, Murat and Jansen, Nils and Junges, Sebastian and Katoen, Joost{-}Pieter and Topcu, Ufuk},
     title = {Convex Optimization for Parameter Synthesis in MDPs},
     journal = {IEEE Trans. Autom. Control.},
     volume = {67},
     number = {12},
     pages = {6333--6348},
     year = {2022},
     keywords = {reviewed,journal}
   }

6. STTT

   Scenario-based verification of uncertain parametric MDPs

   Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, and Ufuk Topcu

   Int. J. Softw. Tools Technol. Transf. 2022
7. ICAART

   Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks

   David Kerkkamp, Zaharah Allah Bukhsh, Yingqian Zhang, and Nils Jansen

   In ICAART (2) 2022
8. SETTA

   COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking

   Dennis Gross, Nils Jansen, Sebastian Junges, and Guillermo A. Pérez

   In SETTA 2022
9. Book

   Parameter Synthesis in Markov Models: A Gentle Survey

   Nils Jansen, Sebastian Junges, and Joost-Pieter Katoen

   In Principles of Systems Design 2022

   Bib

   @incollection{Jansen2022Gentle,
     author = {Jansen, Nils and Junges, Sebastian and Katoen, Joost{-}Pieter},
     title = {Parameter Synthesis in Markov Models: A Gentle Survey},
     booktitle = {Principles of Systems Design},
     series = {Lecture Notes in Computer Science},
     pages = {407--437},
     year = {2022},
     keywords = {reviewed}
   }

2021

1. JAIR

   Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes

   Steven Carr, Nils Jansen, and Ufuk Topcu

   J. Artif. Intell. Res. 2021
2. CACM

   Formalizing and guaranteeing human-robot interaction

   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, and Dorsa Sadigh

   Commun. ACM 2021
3. CAV

   Enforcing Almost-Sure Reachability in POMDPs

   Sebastian Junges, Nils Jansen, and Sanjit A. Seshia

   In CAV (2) 2021
4. AAAI

   Robust Finite-State Controllers for Uncertain POMDPs

   Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, and Ufuk Topcu

   In AAAI 2021
5. AAMAS

   AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training

   Thiago D. Simão, Nils Jansen, and Matthijs T. J. Spaan

   In AAMAS 2021
6. TAC

   Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions

   Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, and Bernd Becker

   IEEE Trans. Autom. Control. 2021
7. TAC

   Synthesis of Provably Correct Autonomy Protocols for Shared Control

   Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, and Ufuk Topcu

   IEEE Trans. Autom. Control. 2021
8. TAC

   Control Theory Meets POMDPs: A Hybrid Systems Approach

   Mohamadreza Ahmadi, Nils Jansen, Bo Wu, and Ufuk Topcu

   IEEE Trans. Autom. Control. 2021
9. NFM

   Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

   Thom S. Badings, Arnd Hartmanns, Nils Jansen, and Marnix Suilen

   In NFM 2021
10. NCA

    Damage detection using in-domain and cross-domain transfer learning

    Zaharah Allah Bukhsh, Nils Jansen, and Aaqib Saeed

    Neural Comput. Appl. 2021
11. RSS

    Safe Policies for Factored Partially Observable Stochastic Games

    Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, and Ufuk Topcu

    In Robotics: Science and Systems 2021
12. ACC

    Adaptive Shielding under Uncertainty

    Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, and Roderick Bloem

    In ACC 2021

2020

1. FORMATS

   Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings

   Nathalie Bertrand, and Nils Jansen (eds.)

   2020
2. ApplSci

   PrimaVera: Synergising Predictive Maintenance

   Bram Ton, Rob Basten, John Bolte, Jan Braaksma, Alessandro Di Bucchianico, Philippe Calseyde, Frank Grooteman, Tom Heskes, Nils Jansen, Wouter Teeuw, Tiedo Tinga, and Mariëlle Stoelinga

   Applied Sciences 2020

   Bib

   @article{Ton2020PrimaVera,
     author = {Ton, Bram and Basten, Rob and Bolte, John and Braaksma, Jan and Bucchianico, Alessandro Di and van de Calseyde, Philippe and Grooteman, Frank and Heskes, Tom and Jansen, Nils and Teeuw, Wouter and Tinga, Tiedo and Stoelinga, Mari{\"{e}}lle},
     title = {PrimaVera: Synergising Predictive Maintenance},
     journal = {Applied Sciences},
     volume = {10},
     number = {23},
     pages = {8348},
     year = {2020},
     keywords = {reviewed,journal}
   }

3. SPIE

   Adversarial Patch Camouflage against Aerial Detection

   Richard Hollander, Ajaya Adhikari, Ioannis Tolios, Michael Bekkum, Anneloes Bal, Stijn Hendriks, Maarten Kruithof, Dennis Gross, Nils Jansen, Guillermo A. Pérez, Kit Buurman, and Stephan Raaijmakers

   In Artificial Intelligence and Machine Learning in Defense Applications II 2020

   Bib

   @inproceedings{DenHollander2020Adversarial,
     author = {den Hollander, Richard and Adhikari, Ajaya and Tolios, Ioannis and van Bekkum, Michael and Bal, Anneloes and Hendriks, Stijn and Kruithof, Maarten and Gross, Dennis and Jansen, Nils and P{\'{e}}rez, Guillermo A. and Buurman, Kit and Raaijmakers, Stephan},
     title = {Adversarial Patch Camouflage against Aerial Detection},
     booktitle = {Artificial Intelligence and Machine Learning in Defense Applications II},
     volume = {11543},
     pages = {115430F},
     publisher = {SPIE},
     year = {2020},
     keywords = {reviewed,conference}
   }

4. IJCAI

   Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization

   Marnix Suilen, Nils Jansen, Murat Cubuktepe, and Ufuk Topcu

   In IJCAI 2020
5. IJCAI

   Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

   Steven Carr, Nils Jansen, and Ufuk Topcu

   In IJCAI 2020
6. TACAS

   Scenario-Based Verification of Uncertain MDPs

   Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, and Ufuk Topcu

   In TACAS (1) 2020
7. ATVA

   Robustness Verification for Classifier Ensembles

   Dennis Gross, Nils Jansen, Guillermo A. Pérez, and Stephan Raaijmakers

   In ATVA 2020
8. CONCUR

   Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper)

   Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, and Roderick Bloem

   In CONCUR 2020
9. NFM

   Neural Simplex Architecture

   Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, and Scott D. Stoller

   In NFM 2020
10. NFM

    Strengthening Deterministic Policies for POMDPs

    Leonore Winterer, Ralf Wimmer, Nils Jansen, and Bernd Becker

    In NFM 2020
11. ISoLA

    Shield Synthesis for Reinforcement Learning

    Bettina Könighofer, Florian Lorber, Nils Jansen, and Roderick Bloem

    In ISoLA (1) 2020

2019

1. IJCAI

   Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

   Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, and Ufuk Topcu

   In IJCAI 2019
2. TACAS

   Shepherding Hordes of Markov Chains

   Milan Ceska, Nils Jansen, Sebastian Junges, and Joost-Pieter Katoen

   In TACAS (2) 2019
3. NFM

   Structured Synthesis for Probabilistic Systems

   Nils Jansen, Laura R. Humphrey, Jana Tumova, and Ufuk Topcu

   In NFM 2019
4. Book

   Model Repair Revamped: On the Automated Synthesis of Markov Chains

   Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, and Joost-Pieter Katoen

   In From Reactive Systems to Cyber-Physical Systems 2019
5. SNR

   Correct-by-construction policies for POMDPs

   Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, and Leonore Winterer

   In SNR 2019

2018

1. TOPLAS

   Conditioning in Probabilistic Programming

   Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Annabelle McIver

   ACM Trans. Program. Lang. Syst. 2018
2. UAI

   Finite-State Controllers of POMDPs using Parameter Synthesis

   Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, and Bernd Becker

   In UAI 2018
3. ATVA

   Synthesis in pMDPs: A Tale of 1001 Parameters

   Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, and Ufuk Topcu

   In ATVA 2018
4. QEST

   Model Checking for Safe Navigation Among Humans

   Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, and Mary M. Hayhoe

   In QEST 2018
5. MBMV

   Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

   Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, and Bernd Becker

   In MBMV 2018
6. Allerton

   Verification of Uncertain POMDPs Using Barrier Certificates

   Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, and Ufuk Topcu

   In Allerton 2018
7. ACC

   Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes

   Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, and Ufuk Topcu

   In ACC 2018
8. Dagstuhl

   Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)

   Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, and Jan Kretı́nský

   Dagstuhl Reports 2018

2017

1. TACAS

   Sequential Convex Programming for the Efficient Verification of Parametric MDPs

   Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, and Ufuk Topcu

   In TACAS (2) 2017
2. ACC

   Synthesis of shared control protocols with provable safety and performance guarantees

   Nils Jansen, Murat Cubuktepe, and Ufuk Topcu

   In ACC 2017
3. CDC

   Motion planning under partial observability using game-based abstraction

   Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, and Bernd Becker

   In CDC 2017
4. Book

   Synthesis and Verification of 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, and Massimo Tivoli

   In Self-Aware Computing Systems 2017

2016

1. TACAS

   Safety-Constrained Reinforcement Learning for MDPs

   Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, and Joost-Pieter Katoen

   In TACAS 2016
2. ATVA

   Parameter Synthesis for Markov Models: Faster Than Ever

   Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, and Joost-Pieter Katoen

   In ATVA 2016
3. ATVA

   Bounded Model Checking for Probabilistic Programs

   Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Lukas Westhofen

   In ATVA 2016
4. ISoLA

   Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots

   Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, and Nils Jansen

   In ISoLA (1) 2016
5. MBMV

   Parameter Synthesis for Probabilistic Systems

   Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, and Harold Bruintjes

   In MBMV 2016
6. AAAI-FS

   Probabilistic Verification for Cognitive Models

   Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, and Ufuk Topcu

   In AAAI Fall Symposia 2016

2015

1. CAV

   PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

   Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, and Erika Ábrahám

   In CAV (1) 2015
2. FM

   Counterexamples for Expected Rewards

   Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker

   In FM 2015
3. NFM

   A Greedy Approach for the Efficient Repair of Stochastic Models

   Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, and Joost-Pieter Katoen

   In NFM 2015
4. MFPS

   Conditioning in Probabilistic Programming

   Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, and Annabelle McIver

   In MFPS 2015
5. LMCS

   High-level Counterexamples for Probabilistic Automata

   Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker

   Log. Methods Comput. Sci. 2015
6. Book

   Understanding Probabilistic Programs

   Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, and Federico Olmedo

   In Correct System Design 2015
7. PhD Thesis

   Counterexamples in probabilistic verification

   Nils Jansen

   2015

2014

1. ATVA

   Fast Debugging of PRISM Models

   Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, and Joost-Pieter Katoen

   In ATVA 2014
2. QEST

   Accelerating Parametric Probabilistic Verification

   Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker

   In QEST 2014
3. SFM

   Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

   Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, and Ralf Wimmer

   In SFM 2014
4. SCP

   Symbolic counterexample generation for large discrete-time Markov chains

   Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, and Johann Schuster

   Sci. Comput. Program. 2014
5. TCS

   Minimal counterexamples for linear-time probabilistic verification

   Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker

   Theor. Comput. Sci. 2014

2013

1. NFM

   Regular Model Checking Using Solver Technologies and Automata Learning

   Daniel Neider, and Nils Jansen

   In NASA Formal Methods 2013
2. QEST

   High-Level Counterexamples for Probabilistic Automata

   Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker

   In QEST 2013

2012

1. TACAS

   Minimal Critical Subsystems for Discrete-Time Markov Models

   Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, and Joost-Pieter Katoen

   In TACAS 2012
2. ATVA

   The COMICS Tool - Computing Minimal Counterexamples for DTMCs

   Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, and Bernd Becker

   In ATVA 2012
3. FACS

   Symbolic Counterexample Generation for Discrete-Time Markov Chains

   Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, and Bernd Becker

   In FACS 2012
4. MBMV

   Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties

   Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, and Joost-Pieter Katoen

   In MBMV 2012

2011

1. ATVA

   Hierarchical Counterexamples for Discrete-Time Markov Chains

   Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, and Bernd Becker

   In ATVA 2011
2. FORTE

   Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

   Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, and Erika Ábrahám

   In FMOODS/FORTE 2011
3. Koli Calling

   On collaboratively conveying computer science to pupils

   Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, and Ulrik Schroeder

   In Koli Calling 2011
4. MBMV

   SMT-based Counterexample Generation for Markov Chains

   Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, and Erika Ábrahám

   In MBMV 2011

2010

1. DeLFI

   Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik

   Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, and Ulrik Schroeder

   In DeLFI 2010
2. QEST

   DTMC Model Checking by SCC Reduction

   Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, and Bernd Becker

   In QEST 2010