Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Nils Jansen

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty


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


  Access Paper or Ask Questions

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


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

* 15 pages, 4 figures, 5 tables 

  Access Paper or Ask Questions

Robust Finite-State Controllers for Uncertain POMDPs


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


  Access Paper or Ask Questions

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

* 9 pages 

  Access Paper or Ask Questions

Strengthening Deterministic Policies for POMDPs


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


  Access Paper or Ask Questions

Enforcing Almost-Sure Reachability in POMDPs


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


  Access Paper or Ask Questions

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


  Access Paper or Ask Questions

Robustness Verification for Classifier Ensembles


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


  Access Paper or Ask Questions

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints


Feb 13, 2020
Steven Carr, Nils Jansen, Ufuk Topcu

* 8 pages, 5 figures, 1 table 

  Access Paper or Ask Questions

Neural Simplex Architecture


Aug 01, 2019
Dung Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller


  Access Paper or Ask Questions

Synthesis of Provably Correct Autonomy Protocols for Shared Control


May 15, 2019
Murat Cubuktepe, Nils Jansen, Mohammed Alsiekh, Ufuk Topcu

* Submitted to IEEE Transactions of Automatic Control 

  Access Paper or Ask Questions

Shepherding Hordes of Markov Chains


Mar 26, 2019
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

* Full version of TACAS'19 submission 

  Access Paper or Ask Questions

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks


Mar 21, 2019
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru C. Serban, Bernd Becker, Ufuk Topcu


  Access Paper or Ask Questions

The Partially Observable Games We Play for Cyber Deception


Sep 28, 2018
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

* 8 pages, 5 figures, 2 table; submitted to American Control Conference 2019 

  Access Paper or Ask Questions

Synthesis in pMDPs: A Tale of 1001 Parameters


Jul 31, 2018
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu


  Access Paper or Ask Questions

Shielded Decision-Making in MDPs


Jul 16, 2018
Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem


  Access Paper or Ask Questions

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


Feb 27, 2018
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu


  Access Paper or Ask Questions

Motion Planning under Partial Observability using Game-Based Abstraction


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


  Access Paper or Ask Questions

Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction


Oct 28, 2016
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu


  Access Paper or Ask Questions

Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees


Oct 26, 2016
Nils Jansen, Murat Cubuktepe, Ufuk Topcu


  Access Paper or Ask Questions