Nils Jansen 0001

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Bettina Könighofer

> Home > Persons > Nils Jansen 0001

Publications

2024
[i64]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-13583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-13583
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang:
Tools at the Frontiers of Quantitative Verification. CoRR abs/2405.13583 (2024)
2023
[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
2021
[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
2020
[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
[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
[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)
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)

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.