default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNils Jansen 0001
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
- Nils Jansen 0002 — Universitätsklinikum Düsseldorf, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j17]Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen
, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk:
Parameter synthesis for Markov models: covering the parameter space. Formal Methods Syst. Des. 62(1): 181-259 (2024)- [j16]Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen:
Strong Simple Policies for POMDPs. Int. J. Softw. Tools Technol. Transf. 26(3): 269-299 (2024) - [c83]Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen:
Factored Online Planning in Many-Agent POMDPs. AAAI 2024: 17407-17415 - [c82]Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen:
Robust Active Measuring under Model Uncertainty. AAAI 2024: 21276-21284 - [c81]Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen:
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. ECC 2024: 564-570 - [c80]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 - [c79]Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen:
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. IJCAI 2024: 6697-6706 - [c78]Wietze Koops, Sebastian Junges, Nils Jansen:
Approximate Dec-POMDP Solving Using Multi-Agent A*. IJCAI 2024: 6743-6751 - [c77]Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
CTMCs with Imprecisely Timed Observations. TACAS (2) 2024: 258-278 - [i69]Thom S. Badings, Matthias Volk, Sebastian Junges, Mariëlle Stoelinga, Nils Jansen:
CTMCs with Imprecisely Timed Observations. CoRR abs/2401.06574 (2024) - [i68]Thom S. Badings, Licio Romao, Alessandro Abate, Nils Jansen:
A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions. CoRR abs/2404.01726 (2024) - [i67]Eline M. Bovy, Marnix Suilen, Sebastian Junges, Nils Jansen:
Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs. CoRR abs/2405.04941 (2024) - [i66]Wietze Koops, Sebastian Junges, Nils Jansen:
Approximate Dec-POMDP Solving Using Multi-Agent A. CoRR abs/2405.05662 (2024) - [i65]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) - [i64]Thom S. Badings, Wietze Koops, Sebastian Junges, Nils Jansen:
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies. CoRR abs/2406.00826 (2024) - [i63]Lisandro Arturo Jimenez-Roa, Thiago D. Simão, Zaharah Allah Bukhsh, Tiedo Tinga, Hajo Molegraaf, Nils Jansen, Mariëlle Stoelinga:
Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning. CoRR abs/2407.12894 (2024) - [i62]Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen:
Pessimistic Iterative Planning for Robust POMDPs. CoRR abs/2408.08770 (2024) - 2023
- [j15]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]Nils Jansen, Gerrit Nolte, Bernhard Steffen:
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn). Int. J. Softw. Tools Technol. Transf. 25(3): 241-247 (2023) - [j13]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) - [c76]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]Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756 - [c74]Thiago D. Simão, Marnix Suilen, Nils Jansen:
Safe Policy Improvement for POMDPs via Finite-State Controllers. AAAI 2023: 15109-15117 - [c73]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]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]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]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]Nils Jansen:
Intelligent and Dependable Decision-Making Under Uncertainty. FM 2023: 26-36 - [c68]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]Yannick Hogewind, Thiago D. Simão, Tal Kachman, Nils Jansen:
Safe Reinforcement Learning From Pixels Using a Stochastic Latent Representation. ICLR 2023 - [c66]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]Wietze Koops, Nils Jansen, Sebastian Junges, Thiago D. Simão:
Recursive Small-Step Multi-Agent A* for Dec-POMDPs. IJCAI 2023: 5402-5410 - [c64]Marck van der Vegt, Nils Jansen, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) 2023: 508-526 - [c63]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]Nils Jansen, Bettina Könighofer, Jan Kretínský, Kim G. Larsen:
Welcome Remarks from AISoLA 2023/Track C2 Chairs. AISoLA 2023: 25-32 - [c61]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 - [e3]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] - [d5]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]
- [d4]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] - [i61]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) - [i60]Thiago D. Simão, Marnix Suilen, Nils Jansen:
Safe Policy Improvement for POMDPs via Finite-State Controllers. CoRR abs/2301.04939 (2023) - [i59]Marck van der Vegt, Nils Jansen, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. CoRR abs/2301.11296 (2023) - [i58]Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen:
Decision-Making Under Uncertainty: Beyond Probabilities. CoRR abs/2303.05848 (2023) - [i57]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) - [i56]Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR abs/2305.01473 (2023) - [i55]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) - [i54]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) - [i53]Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen:
Robust Active Measuring under Model Uncertainty. CoRR abs/2312.11227 (2023) - [i52]Maris F. L. Galesloot, Thiago D. Simão, Sebastian Junges, Nils Jansen:
Factored Online Planning in Many-Agent POMDPs. CoRR abs/2312.11434 (2023) - [i51]Ellen Enkel, Nils Jansen, Mohammad Reza Mousavi, Kristin Yvonne Rozier:
Model Learning for Improved Trustworthiness in Autonomous Systems (Dagstuhl Seminar 23492). Dagstuhl Reports 13(12): 24-47 (2023) - 2022
- [j12]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]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) - [c60]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]Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. Principles of Systems Design 2022: 407-437 - [c58]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]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]Marnix Suilen, Thiago D. Simão, David Parker, Nils Jansen:
Robust Anytime Learning of Markov Decision Processes. NeurIPS 2022 - [c55]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 - [e2]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] - [d3]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 - [i50]Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding for POMDPs. CoRR abs/2204.00755 (2022) - [i49]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]Marnix Suilen, Thiago D. Simão, Nils Jansen, David Parker:
Robust Anytime Learning of Markov Decision Processes. CoRR abs/2205.15827 (2022) - [i47]Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis in Markov Models: A Gentle Survey. CoRR abs/2207.06801 (2022) - [i46]Zaharah Allah Bukhsh, Nils Jansen, Hajo Molegraaf:
A Maintenance Planning Framework using Online and Offline Deep Reinforcement Learning. CoRR abs/2208.00808 (2022) - [i45]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]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]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]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]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
- [j10]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]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]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]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]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]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) - [c54]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. AAAI 2021: 11792-11800 - [c53]Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem:
Adaptive Shielding under Uncertainty. ACC 2021: 3467-3474 - [c52]Thiago D. Simão, Nils Jansen, Matthijs T. J. Spaan:
AlwaysSafe: Reinforcement Learning without Safety Constraint Violations during Training. AAMAS 2021: 1226-1235 - [c51]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) 2021: 602-625 - [c50]Thom S. Badings, Arnd Hartmanns, Nils Jansen, Marnix Suilen:
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids. NFM 2021: 1-18 - [c49]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 - [d2]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 1. Zenodo, 2021 [all versions] - [d1]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 2. Zenodo, 2021 [all versions] - [i40]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]Zaharah Allah Bukhsh, Nils Jansen, Aaqib Saeed:
Damage detection using in-domain and cross-domain transfer learning. CoRR abs/2102.03858 (2021) - [i38]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]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]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021) - [i35]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]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
- [c48]Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. ATVA 2020: 271-287 - [c47]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]Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI 2020: 4113-4120 - [c45]Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI 2020: 4121-4127 - [c44]Bettina Könighofer, Florian Lorber, Nils Jansen, Roderick Bloem:
Shield Synthesis for Reinforcement Learning. ISoLA (1) 2020: 290-306 - [c43]Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. NFM 2020: 97-114 - [c42]Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. NFM 2020: 115-132 - [c41]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. TACAS (1) 2020: 287-305 - [e1]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] - [i33]Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. CoRR abs/2001.08174 (2020) - [i32]Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. CoRR abs/2002.05615 (2020) - [i31]Dennis Gross, Nils Jansen, Guillermo A. Pérez, Stephan Raaijmakers:
Robustness Verification for Classifier Ensembles. CoRR abs/2005.05587 (2020) - [i30]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]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CoRR abs/2007.00085 (2020) - [i28]Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker:
Strengthening Deterministic Policies for POMDPs. CoRR abs/2007.08351 (2020) - [i27]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]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]Stefan Pranger, Bettina Könighofer, Martin Tappler, Martin Deixelberger, Nils Jansen, Roderick Bloem:
Adaptive Shielding under Uncertainty. CoRR abs/2010.03842 (2020)
2010 – 2019
- 2019
- [c40]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]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]Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. NFM 2019: 237-254 - [c37]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]Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. TACAS (2) 2019: 172-190 - [i24]Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Shepherding Hordes of Markov Chains. CoRR abs/1902.05727 (2019) - [i23]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]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]Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu:
Synthesis of Provably Correct Autonomy Protocols for Shared Control. CoRR abs/1905.06471 (2019) - [i20]