Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Nils Jansen 0001

> Home > Persons

Person information

affiliation: Ruhr-University Bochum, Germany
affiliation (former): Radboud University Nijmegen, The Netherlands
affiliation (PhD 2015): RWTH Aachen University

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2015
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Jansen15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Jansen15
Nils Jansen:
Counterexamples in probabilistic verification. RWTH Aachen University, Germany, 2015

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/BadingsRAPPSJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/BadingsRAPPSJ23
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. J. Artif. Intell. Res. 76: 341-391 (2023)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/JansenNS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JansenNS23
Nils Jansen, Gerrit Nolte, Bernhard Steffen:
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). Int. J. Softw. Tools Technol. Transf. 25(3): 241-247 (2023)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BadingsSSJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BadingsSSJ23
Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen:
Decision-making under uncertainty: beyond probabilities. Int. J. Softw. Tools Technol. Transf. 25(3): 375-391 (2023)
2022
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BadingsCJJKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BadingsCJJKT22
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24(5): 803-819 (2022)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CubuktepeJJKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CubuktepeJJKT22
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67(12): 6333-6348 (2022)
2021
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Kress-GazitEHAA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Kress-GazitEHAA21
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh:
Formalizing and guaranteeing human-robot interaction. Commun. ACM 64(9): 78-84 (2021)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Carr0T21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Carr0T21
Steven Carr, Nils Jansen, Ufuk Topcu:
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. J. Artif. Intell. Res. 72: 819-847 (2021)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/nca/BukhshJS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nca/BukhshJS21
Zaharah Allah Bukhsh, Nils Jansen, Aaqib Saeed:
Damage detection using in-domain and cross-domain transfer learning. Neural Comput. Appl. 33(24): 16921-16936 (2021)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WintererJWJTKB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WintererJWJTKB21
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. 66(3): 1040-1054 (2021)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CubuktepeJAT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CubuktepeJAT21
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu:
Synthesis of Provably Correct Autonomy Protocols for Shared Control. IEEE Trans. Autom. Control. 66(7): 3251-3258 (2021)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/AhmadiJWT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/AhmadiJWT21
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu:
Control Theory Meets POMDPs: A Hybrid Systems Approach. IEEE Trans. Autom. Control. 66(11): 5191-5204 (2021)
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/OlmedoGJKKM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/OlmedoGJKKM18
Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver:
Conditioning in Probabilistic Programming. ACM Trans. Program. Lang. Syst. 40(1): 4:1-4:50 (2018)
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1305-5055
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-5055
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
High-level Counterexamples for Probabilistic Automata. Log. Methods Comput. Sci. 11(1) (2015)
2014
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/JansenWAZKBS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JansenWAZKBS14
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster:
Symbolic counterexample generation for large discrete-time Markov chains. Sci. Comput. Program. 91: 90-114 (2014)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/WimmerJAKB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WimmerJAKB14
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Minimal counterexamples for linear-time probabilistic verification. Theor. Comput. Sci. 549: 61-100 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c80]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GaleslootSJ024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GaleslootSJ024
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen:
Factored Online Planning in Many-Agent POMDPs. AAAI 2024: 17407-17415
[c79]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KraleST024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KraleST024
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen:
Robust Active Measuring under Model Uncertainty. AAAI 2024: 21276-21284
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/SchmidlS024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/SchmidlS024
Christoph Schmidl, Thiago D. Simão, Nils Jansen:
A Supervised Learning Approach to Robust Reinforcement Learning for Job Shop Scheduling. ICAART (3) 2024: 1324-1335
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BadingsVJSJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BadingsVJSJ24
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
CTMCs with Imprecisely Timed Observations. TACAS (2) 2024: 258-278
2023
[c76]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BadingsRA023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BadingsRA023
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen:
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. AAAI 2023: 14701-14710
[c75]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Carr0JT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Carr0JT23
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756
[c74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SimaoS023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SimaoS023
Thiago D. Simão, Marnix Suilen, Nils Jansen:
Safe Policy Improvement for POMDPs via Finite-State Controllers. AAAI 2023: 15109-15117
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/GrossS0023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GrossS0023
Dennis Gross, Christoph Schmidl, Nils Jansen, Guillermo A. Pérez:
Model Checking for Adversarial Multi-Agent Reinforcement Learning with Reactive Defense Methods. ICAPS 2023: 162-170
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/KraleS023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/KraleS023
Merlijn Krale, Thiago D. Simão, Nils Jansen:
Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. ICAPS 2023: 212-220
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BadingsJMTJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BadingsJMTJ23
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) 2023: 62-85
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/YangSJTS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/YangSJTS23
Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan:
Reinforcement Learning by Guided Safe Exploration. ECAI 2023: 2858-2865
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Jansen23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Jansen23
Nils Jansen:
Intelligent and Dependable Decision-Making Under Uncertainty. FM 2023: 26-36
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/GrossS0023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/GrossS0023
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez:
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. ICAART (3) 2023: 501-508
[c67]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/HogewindSK023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/HogewindSK023
Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen:
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. ICLR 2023
[c66]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/WienhoftSSDB023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WienhoftSSDB023
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen:
More for Less: Safe Policy Improvement with Stronger Performance Guarantees. IJCAI 2023: 4406-4415
[c65]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Koops0JS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Koops0JS23
Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão:
Recursive Small-Step Multi-Agent A* for Dec-POMDPs. IJCAI 2023: 5402-5410
[c64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/VegtJJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/VegtJJ23
Marck van der Vegt, Nils Jansen, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) 2023: 508-526
[c63]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/KopruluS0T23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/KopruluS0T23
Cevahir Köprülü, Thiago D. Simão, Nils Jansen, Ufuk Topcu:
Risk-aware curriculum generation for heavy-tailed task distributions. UAI 2023: 1132-1142
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/JansenKKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/JansenKKL23
Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen:
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA 2023: 25-32
[c61]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-09786
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-09786
Thom S. Badings, Nils Jansen, Licio Romao, Alessandro Abate:
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. FMAS@iFM 2023: 144-152
2022
[c60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BadingsA00PS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BadingsA00PS22
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga:
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. AAAI 2022: 9669-9678
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/0001JK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001JK22
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design 2022: 407-437
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BadingsJJSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BadingsJJSV22
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. CAV (2) 2022: 26-47
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/KerkkampBZ022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/KerkkampBZ022
David Kerkkamp, Zaharah Allah Bukhsh, Yingqian Zhang, Nils Jansen:
Grouping of Maintenance Actions with Deep Reinforcement Learning and Graph Convolutional Networks. ICAART (2) 2022: 574-585
[c56]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/SuilenS0022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/SuilenS0022
Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen:
Robust Anytime Learning of Markov Decision Processes. NeurIPS 2022
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/GrossJJP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/GrossJJP22
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. SETTA 2022: 41-49
2021
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Cubuktepe0JMST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Cubuktepe0JMST21
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. AAAI 2021: 11792-11800
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/PrangerKTD0B21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/PrangerKTD0B21
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem:
Adaptive Shielding under Uncertainty. ACC 2021: 3467-3474
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/SimaoJS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SimaoJS21
Thiago D. Simão, Nils Jansen, Matthijs T. J. Spaan:
AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training. AAMAS 2021: 1226-1235
[c51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JungesJS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JungesJS20
Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) 2021: 602-625
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BadingsH0S21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BadingsH0S21
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen:
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM 2021: 1-18
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/Carr0BST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/Carr0BST21
Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu:
Safe Policies for Factored Partially Observable Stochastic Games. Robotics: Science and Systems 2021
2020
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Gross0PR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Gross0PR20
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. ATVA 2020: 271-287
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/0001KJSB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/0001KJSB20
Nils Jansen, Bettina Könighofer, Sebastian Junges, Alex Serban, Roderick Bloem:
Safe Reinforcement Learning Using Probabilistic Shields (Invited Paper). CONCUR 2020: 3:1-3:16
[c46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Suilen0CT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Suilen0CT20
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI 2020: 4113-4120
[c45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CarrJT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CarrJT20
Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI 2020: 4121-4127
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/KonighoferL0B20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/KonighoferL0B20
Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem:
Shield Synthesis for Reinforcement Learning. ISoLA (1) 2020: 290-306
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/PhanG0PSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/PhanG0PSS20
Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. NFM 2020: 97-114
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/Winterer00020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/Winterer00020
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. NFM 2020: 115-132
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Cubuktepe0JKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Cubuktepe0JKT20
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. TACAS (1) 2020: 287-305
2019
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CeskaD0JK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CeskaD0JK19
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems 2019: 107-125
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Carr0WS0T19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Carr0WS0T19
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI 2019: 5532-5539
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/0001HTT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/0001HTT19
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. NFM 2019: 237-254
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/snr/0001JKQ00W19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snr/0001JKQ00W19
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer:
Correct-by-construction policies for POMDPs. SNR 2019: 6-8
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/CeskaJJK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/CeskaJJK19
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. TACAS (2) 2019: 172-190
2018
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/AhmadiC0T18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/AhmadiC0T18
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. Allerton 2018: 115-122
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/Carr0WFT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/Carr0WFT18
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC 2018: 762-769
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CubuktepeJJKT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CubuktepeJJKT18
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176
[c32]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/WintererJWJTKB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WintererJWJTKB18
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV 2018
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/Junges0KTZH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/Junges0KTZH18
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe:
Model Checking for Safe Navigation Among Humans. QEST 2018: 207-222
[c30]
- view
  - electronic edition @ auai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/Junges0WQWK018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/Junges0WQWK018
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI 2018: 519-529
2017
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/0001CT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/0001CT17
Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Synthesis of shared control protocols with provable safety and performance guarantees. ACC 2017: 1866-1873
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WintererJW0TK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WintererJW0TK017
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion planning under partial observability using game-based abstraction. CDC 2017: 2201-2208
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Cubuktepe0JKPPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Cubuktepe0JKPPT17
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) 2017: 133-150
2016
[c26]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaifs/Junges0KT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaifs/Junges0KT16
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Verification for Cognitive Models. AAAI Fall Symposia 2016
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/QuatmannD0JK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/QuatmannD0JK16
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. ATVA 2016: 50-67
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/0001DKKW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/0001DKKW16
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen:
Bounded Model Checking for Probabilistic Programs. ATVA 2016: 68-85
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LeofanteVAT016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LeofanteVAT016
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen:
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) 2016: 496-514
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/mbmv/DehnertJ0CVKAB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/DehnertJ0CVKAB16
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes:
Parameter Synthesis for Probabilistic Systems. MBMV 2016: 72-74
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Junges0DTK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Junges0DTK16
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. TACAS 2016: 130-146
2015
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KatoenGJKO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KatoenGJKO15
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo:
Understanding Probabilistic Programs. Correct System Design 2015: 15-32
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DehnertJJCVBKA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DehnertJJCVBKA15
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám:
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) 2015: 214-231
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/QuatmannJDWAKB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/QuatmannJDWAKB15
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Counterexamples for Expected Rewards. FM 2015: 435-452
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/PathakAJTK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/PathakAJTK15
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen:
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM 2015: 295-309
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/0001KKOGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/0001KKOGM15
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver:
Conditioning in Probabilistic Programming. MFPS 2015: 199-216
2014
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DehnertJWAK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DehnertJWAK14
Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen:
Fast Debugging of PRISM Models. ATVA 2014: 146-162
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/JansenCVWAKB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/JansenCVWAKB14
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. QEST 2014: 404-420
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/AbrahamBDJKW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/AbrahamBDJKW14
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer:
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM 2014: 65-121
2013
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/NeiderJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NeiderJ13
Daniel Neider, Nils Jansen:
Regular Model Checking Using Solver Technologies and Automata Learning. NASA Formal Methods 2013: 16-31
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/WimmerJVAKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/WimmerJVAKB13
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
High-Level Counterexamples for Probabilistic Automata. QEST 2013: 39-54
2012
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JansenAVWKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JansenAVWKB12
Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
The COMICS Tool - Computing Minimal Counterexamples for DTMCs. ATVA 2012: 349-353
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/JansenAZWSKB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/JansenAZWSKB12
Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker:
Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS 2012: 134-151
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/WimmerBJAK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WimmerBJAK12
Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen:
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV 2012: 169-180
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/WimmerJABK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/WimmerJABK12
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen:
Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS 2012: 299-314
2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/JansenAKWKB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/JansenAKWKB11
Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA 2011: 443-452
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BraitlingWBJA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BraitlingWBJA11
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE 2011: 75-89
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/kolicalling/AbrahamBBCJLLNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kolicalling/AbrahamBBCJLLNS11
Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder:
On collaboratively conveying computer science to pupils. Koli Calling 2011: 132-137
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/BraitlingWBJA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/BraitlingWBJA11
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám:
SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28
2010
[c2]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/delfi/AbrahamBJLLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/delfi/AbrahamBJLLS10
Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder:
Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. DeLFI 2010: 239-251
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/AbrahamJWKB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/AbrahamJWKB10
Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
DTMC Model Checking by SCC Reduction. QEST 2010: 37-46

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2017
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/17/CalinescuACMGIP0KKMST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/17/CalinescuACMGIP0KKMST17
Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2023
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/2023
Nils Jansen, Mirco Tribastone:
Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14287, Springer 2023, ISBN 978-3-031-43834-9 [contents]
2022
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/2022vaandrager
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/2022vaandrager
Nils Jansen, Mariëlle Stoelinga, Petra van den Bos:
A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13560, Springer 2022, ISBN 978-3-031-15628-1 [contents]
2020
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/2020
Nathalie Bertrand, Nils Jansen:
Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Lecture Notes in Computer Science 12288, Springer 2020, ISBN 978-3-030-57627-1 [contents]

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2023
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/BadingsJMTJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BadingsJMTJ23
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1. Zenodo, 2023 [all versions]
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/BadingsJMTJ23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BadingsJMTJ23a
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1.1. Zenodo, 2023 [all versions]
2022
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/BadingsCJJKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BadingsCJJKT22
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. Zenodo, 2022

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i61]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-06574
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-06574
Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
CTMCs with Imprecisely Timed Observations. CoRR abs/2401.06574 (2024)
2023
[i60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-01526
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-01526
Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions. CoRR abs/2301.01526 (2023)
[i59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-04939
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-04939
Thiago D. Simão, Marnix Suilen, Nils Jansen:
Safe Policy Improvement for POMDPs via Finite-State Controllers. CoRR abs/2301.04939 (2023)
[i58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-11296
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-11296
Marck van der Vegt, Nils Jansen, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. CoRR abs/2301.11296 (2023)
[i57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-05848
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-05848
Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen:
Decision-Making Under Uncertainty: Beyond Probabilities. CoRR abs/2303.05848 (2023)
[i56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-08271
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-08271
Merlijn Krale, Thiago D. Simão, Nils Jansen:
Act-Then-Measure: Reinforcement Learning for Partially Observable Environments with Active Measuring. CoRR abs/2303.08271 (2023)
[i55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-01473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-01473
Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR abs/2305.01473 (2023)
[i54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-07958
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-07958
Patrick Wienhöft, Marnix Suilen, Thiago D. Simão, Clemens Dubslaff, Christel Baier, Nils Jansen:
More for Less: Safe Policy Improvement With Stronger Performance Guarantees. CoRR abs/2305.07958 (2023)
[i53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-14316
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-14316
Qisong Yang, Thiago D. Simão, Nils Jansen, Simon H. Tindemans, Matthijs T. J. Spaan:
Reinforcement Learning by Guided Safe Exploration. CoRR abs/2307.14316 (2023)
[i52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-11227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-11227
Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen:
Robust Active Measuring under Model Uncertainty. CoRR abs/2312.11227 (2023)
[i51]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-11434
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-11434
Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen:
Factored Online Planning in Many-Agent POMDPs. CoRR abs/2312.11434 (2023)
2022
[i50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-00755
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-00755
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding for POMDPs. CoRR abs/2204.00755 (2022)
[i49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08300
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08300
Thom S. Badings, Nils Jansen, Sebastian Junges, Mariëlle Stoelinga, Matthias Volk:
Sampling-Based Verification of CTMCs with Uncertain Rates. CoRR abs/2205.08300 (2022)
[i48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-15827
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-15827
Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker:
Robust Anytime Learning of Markov Decision Processes. CoRR abs/2205.15827 (2022)
[i47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-06801
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-06801
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. CoRR abs/2207.06801 (2022)
[i46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-00808
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-00808
Zaharah Allah Bukhsh, Nils Jansen, Hajo Molegraaf:
A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning. CoRR abs/2208.00808 (2022)
[i45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-07133
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-07133
Dennis Gross, Nils Jansen, Sebastian Junges, Guillermo A. Pérez:
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking. CoRR abs/2209.07133 (2022)
[i44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-01801
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-01801
Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen:
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. CoRR abs/2210.01801 (2022)
[i43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-05989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-05989
Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen:
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty. CoRR abs/2210.05989 (2022)
[i42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-00679
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-00679
Luke Rickard, Thom S. Badings, Licio Romao, Nils Jansen, Alessandro Abate:
Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics. CoRR abs/2212.00679 (2022)
[i41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-05337
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-05337
Dennis Gross, Thiago D. Simão, Nils Jansen, Guillermo A. Pérez:
Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking. CoRR abs/2212.05337 (2022)
2021
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-12496
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-12496
Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen:
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. CoRR abs/2101.12496 (2021)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-03858
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-03858
Zaharah Allah Bukhsh, Nils Jansen, Aaqib Saeed:
Damage detection using in-domain and cross-domain transfer learning. CoRR abs/2102.03858 (2021)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-02398
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-02398
Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Mariëlle Stoelinga:
Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty. CoRR abs/2103.02398 (2021)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-13411
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-13411
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR abs/2105.13411 (2021)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-00108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-00108
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-12662
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12662
Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga:
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise. CoRR abs/2110.12662 (2021)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-13020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-13020
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR abs/2112.13020 (2021)
2020
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-08174
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-08174
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. CoRR abs/2001.08174 (2020)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-05615
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-05615
Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. CoRR abs/2002.05615 (2020)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05587
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05587
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. CoRR abs/2005.05587 (2020)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16732
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16732
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross A. Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd D. Murphey, Laurel D. Riek, Dorsa Sadigh:
Formalizing and Guaranteeing* Human-Robot Interaction. CoRR abs/2006.16732 (2020)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-00085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-00085
Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CoRR abs/2007.00085 (2020)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-08351
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-08351
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. CoRR abs/2007.08351 (2020)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-13671
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-13671
Ajaya Adhikari, Richard den Hollander, Ioannis Tolios, Michael van Bekkum, Anneloes Bal, Stijn Hendriks, Maarten Kruithof, Dennis Gross, Nils Jansen, Guillermo A. Pérez, Kit Buurman, Stephan Raaijmakers:
Adversarial Patch Camouflage against Aerial Detection. CoRR abs/2008.13671 (2020)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-11459
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-11459
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. CoRR abs/2009.11459 (2020)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-03842
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-03842
Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem:
Adaptive Shielding under Uncertainty. CoRR abs/2010.03842 (2020)
2019
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-05727
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-05727
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. CoRR abs/1902.05727 (2019)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-07993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-07993
Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
Parameter Synthesis for Markov Models. CoRR abs/1903.07993 (2019)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-08428
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-08428
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR abs/1903.08428 (2019)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-06471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-06471
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu:
Synthesis of Provably Correct Autonomy Protocols for Shared Control. CoRR abs/1905.06471 (2019)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-08095
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-08095
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu:
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR abs/1905.08095 (2019)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-00528
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-00528
Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. CoRR abs/1908.00528 (2019)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-11223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-11223
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. CoRR abs/1912.11223 (2019)
2018
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-09810
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-09810
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. CoRR abs/1802.09810 (2018)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-03823
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03823
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. CoRR abs/1807.03823 (2018)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06096
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06096
Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem:
Shielded Decision-Making in MDPs. CoRR abs/1807.06096 (2018)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06106
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. CoRR abs/1807.06106 (2018)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-00092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-00092
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
The Partially Observable Games We Play for Cyber Deception. CoRR abs/1810.00092 (2018)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/JansenKKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/JansenKKK18
Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretínský:
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). Dagstuhl Reports 8(3): 74-93 (2018)
2017
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Cubuktepe0JKPPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cubuktepe0JKPPT17
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR abs/1702.00063 (2017)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-04236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-04236
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR abs/1708.04236 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-10294
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-10294
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR abs/1710.10294 (2017)
2016
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/QuatmannD0JK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/QuatmannD0JK16
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. CoRR abs/1602.05113 (2016)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/0001DKKW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001DKKW16
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen:
Bounded Model Checking for Probabilistic Programs. CoRR abs/1605.04477 (2016)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/0001CT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001CT16
Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. CoRR abs/1610.08500 (2016)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Junges0KT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Junges0KT16
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. CoRR abs/1610.09409 (2016)
2015
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GretzJKKMO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GretzJKKMO15
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo:
Conditioning in Probabilistic Programming. CoRR abs/1504.00198 (2015)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Junges0DTK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Junges0DTK15
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. CoRR abs/1510.05880 (2015)
2013
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JansenCVWAKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JansenCVWAKB13
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Accelerating Parametric Probabilistic Verification. CoRR abs/1312.3979 (2013)
2012
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1206-0603
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-0603
Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker:
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains. CoRR abs/1206.0603 (2012)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.