Nils Jansen

Conditioning in Probabilistic Programming

Federico Olmedo, Friedrich Gretz, Nils Jansen et al. · ACM Transactions on Programming Languages and Systems · 2018 · 57 citations · Full text

Mathematical Programming, Engineering, Probabilistic Computation +17

Adversarial patch camouflage against aerial detection

Richard den Hollander, Ajaya Adhikari, Ioannis Tolios et al. · 2020 · 57 citations

Convolutional Neural Network, Image Classification, Image Analysis +14

Safe Reinforcement Learning Using Probabilistic Shields

Nils Jansen, Bettina Könighofer, Sebastian Junges et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 51 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +11

Finite-State Controllers of POMDPs using Parameter Synthesis

Sebastian Junges, Nils Jansen, Ralf Wimmer et al. · RWTH Publications (RWTH Aachen) · 2018 · 45 citations

Artificial Intelligence, Engineering, Intelligent Systems +19

DTMC Model Checking by SCC Reduction

Erika Ábrahám, Nils Jansen, Ralf Wimmer et al. · 2010 · 41 citations

Engineering, Verification, Computer-aided Verification +18