Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNils Jansen 0001
Person information
- affiliation: 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
- 2023
[j13]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)- [c63]Nils Jansen:
Intelligent and Dependable Decision-Making Under Uncertainty. FM 2023: 26-36 - [c62]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 - [c61]Marck van der Vegt
, Nils Jansen, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. TACAS (1) 2023: 508-526 - [i57]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) - [i56]Thiago D. Simão, Marnix Suilen, Nils Jansen:
Safe Policy Improvement for POMDPs via Finite-State Controllers. CoRR abs/2301.04939 (2023) - [i55]Marck van der Vegt, Nils Jansen, Sebastian Junges:
Robust Almost-Sure Reachability in Multi-Environment MDPs. CoRR abs/2301.11296 (2023) - [i54]Thom S. Badings, Thiago D. Simão, Marnix Suilen, Nils Jansen:
Decision-Making Under Uncertainty: Beyond Probabilities. CoRR abs/2303.05848 (2023) - [i53]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) - [i52]Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR abs/2305.01473 (2023) - [i51]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) - 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] - [d1]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 - [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]Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu:
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR abs/1905.08095 (2019) - [i19]Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. CoRR abs/1908.00528 (2019) - [i18]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. CoRR abs/1912.11223 (2019) - 2018
- [j4]Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver:
Conditioning in Probabilistic Programming. ACM Trans. Program. Lang. Syst. 40(1): 4:1-4:50 (2018) - [c35]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. Allerton 2018: 115-122 - [c34]Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC 2018: 762-769 - [c33]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176 - [c32]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV 2018 - [c31]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe:
Model Checking for Safe Navigation Among Humans. QEST 2018: 207-222 - [c30]Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Finite-State Controllers of POMDPs using Parameter Synthesis. UAI 2018: 519-529 - [i17]Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. CoRR abs/1802.09810 (2018) - [i16]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. CoRR abs/1807.03823 (2018) - [i15]Nils Jansen, Bettina Könighofer, Sebastian Junges, Roderick Bloem:
Shielded Decision-Making in MDPs. CoRR abs/1807.06096 (2018) - [i14]Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. CoRR abs/1807.06106 (2018) - [i13]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
The Partially Observable Games We Play for Cyber Deception. CoRR abs/1810.00092 (2018) - [i12]Nils Jansen, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretínský:
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). Dagstuhl Reports 8(3): 74-93 (2018) - 2017
- [c29]Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Synthesis of shared control protocols with provable safety and performance guarantees. ACC 2017: 1866-1873 - [c28]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion planning under partial observability using game-based abstraction. CDC 2017: 2201-2208 - [c27]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) 2017: 133-150 - [p1]Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli:
Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems 2017: 337-373 - [i11]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR abs/1702.00063 (2017) - [i10]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR abs/1708.04236 (2017) - [i9]Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker:
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. CoRR abs/1710.10294 (2017) - 2016
- [c26]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Verification for Cognitive Models. AAAI Fall Symposia 2016 - [c25]Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. ATVA 2016: 50-67 - [c24]Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen:
Bounded Model Checking for Probabilistic Programs. ATVA 2016: 68-85 - [c23]Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen:
Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. ISoLA (1) 2016: 496-514 - [c22]Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes:
Parameter Synthesis for Probabilistic Systems. MBMV 2016: 72-74 - [c21]Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. TACAS 2016: 130-146 - [i8]Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen:
Parameter Synthesis for Markov Models: Faster Than Ever. CoRR abs/1602.05113 (2016) - [i7]Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen:
Bounded Model Checking for Probabilistic Programs. CoRR abs/1605.04477 (2016) - [i6]Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. CoRR abs/1610.08500 (2016) - [i5]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. CoRR abs/1610.09409 (2016) - 2015
- [b1]Nils Jansen:
Counterexamples in probabilistic verification. RWTH Aachen University, Germany, 2015 - [j3]Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
High-level Counterexamples for Probabilistic Automata. Log. Methods Comput. Sci. 11(1) (2015) - [c20]Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo:
Understanding Probabilistic Programs. Correct System Design 2015: 15-32 - [c19]Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám:
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) 2015: 214-231 - [c18]Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker:
Counterexamples for Expected Rewards. FM 2015: 435-452 - [c17]Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen:
A Greedy Approach for the Efficient Repair of Stochastic Models. NFM 2015: 295-309 - [c16]