Alert button
Picture for Nils Jansen

Nils Jansen

Alert button

Convex Optimization for Parameter Synthesis in MDPs

Jun 30, 2021
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Figure 1 for Convex Optimization for Parameter Synthesis in MDPs
Figure 2 for Convex Optimization for Parameter Synthesis in MDPs
Figure 3 for Convex Optimization for Parameter Synthesis in MDPs
Figure 4 for Convex Optimization for Parameter Synthesis in MDPs
Viaarxiv icon

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty

Mar 18, 2021
Thom S. Badings, Nils Jansen, Hasan A. Poonawala, Marielle Stoelinga

Figure 1 for Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty
Figure 2 for Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty
Figure 3 for Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty
Figure 4 for Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty
Viaarxiv icon

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

Feb 07, 2021
Zaharah A. Bukhsh, Nils Jansen, Aaqib Saeed

Figure 1 for Damage detection using in-domain and cross-domain transfer learning
Figure 2 for Damage detection using in-domain and cross-domain transfer learning
Figure 3 for Damage detection using in-domain and cross-domain transfer learning
Figure 4 for Damage detection using in-domain and cross-domain transfer learning
Viaarxiv icon

Robust Finite-State Controllers for Uncertain POMDPs

Sep 24, 2020
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu

Figure 1 for Robust Finite-State Controllers for Uncertain POMDPs
Figure 2 for Robust Finite-State Controllers for Uncertain POMDPs
Figure 3 for Robust Finite-State Controllers for Uncertain POMDPs
Figure 4 for Robust Finite-State Controllers for Uncertain POMDPs
Viaarxiv icon

Adversarial Patch Camouflage against Aerial Detection

Aug 31, 2020
Ajaya Adhikari, Richard den Hollander, Ioannis Tolios, Michael van Bekkum, Anneloes Bal, Stijn Hendriks, Maarten Kruithof, Dennis Gross, Nils Jansen, Guillermo Pérez, Kit Buurman, Stephan Raaijmakers

Figure 1 for Adversarial Patch Camouflage against Aerial Detection
Figure 2 for Adversarial Patch Camouflage against Aerial Detection
Figure 3 for Adversarial Patch Camouflage against Aerial Detection
Figure 4 for Adversarial Patch Camouflage against Aerial Detection
Viaarxiv icon

Strengthening Deterministic Policies for POMDPs

Jul 16, 2020
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker

Figure 1 for Strengthening Deterministic Policies for POMDPs
Figure 2 for Strengthening Deterministic Policies for POMDPs
Figure 3 for Strengthening Deterministic Policies for POMDPs
Figure 4 for Strengthening Deterministic Policies for POMDPs
Viaarxiv icon

Enforcing Almost-Sure Reachability in POMDPs

Jun 30, 2020
Sebastian Junges, Nils Jansen, Sanjit A. Seshia

Figure 1 for Enforcing Almost-Sure Reachability in POMDPs
Figure 2 for Enforcing Almost-Sure Reachability in POMDPs
Figure 3 for Enforcing Almost-Sure Reachability in POMDPs
Viaarxiv icon

Formalizing and Guaranteeing* Human-Robot Interaction

Jun 30, 2020
Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Ruediger Ehlers, Christoffer Heckman, Nils Jansen, Ross Knepper, Jan Křetínský, Shelly Levy-Tzedek, Jamy Li, Todd Murphey, Laurel Riek, Dorsa Sadigh

Figure 1 for Formalizing and Guaranteeing* Human-Robot Interaction
Viaarxiv icon

Robustness Verification for Classifier Ensembles

May 12, 2020
Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers

Figure 1 for Robustness Verification for Classifier Ensembles
Figure 2 for Robustness Verification for Classifier Ensembles
Figure 3 for Robustness Verification for Classifier Ensembles
Figure 4 for Robustness Verification for Classifier Ensembles
Viaarxiv icon