The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nils Jansen 0001" ( http://dblp.L3S.de/Authors/Nils_Jansen_0001 )

URL (Homepage):  http://nilsjansen.org/  Author page on DBLP  Author page in RDF  Community of Nils Jansen 0001 in ASPL-2

Publication years (Num. hits)
2010-2014 (19) 2015-2016 (19) 2017-2018 (20) 2019 (10)
Publication types (Num. hits)
article(28) incollection(1) inproceedings(38) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 69 publication records. Showing 68 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mohamadreza Ahmadi, Nils Jansen 0001, Bo Wu 0005, Ufuk Topcu Control Theory Meets POMDPs: A Hybrid Systems Approach. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Dung Phan, Nicola Paoletti, Radu Grosu, Nils Jansen 0001, Scott A. Smolka, Scott D. Stoller Neural Simplex Architecture. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Milan Ceska 0002, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Shepherding Hordes of Markov Chains. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen 0001, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 Parameter Synthesis for Markov Models. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker 0001, Ufuk Topcu Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Mohammed Alshiekh, Ufuk Topcu Synthesis of Provably Correct Autonomy Protocols for Shared Control. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Milan Ceska 0002, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milan Ceska 0002, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Shepherding Hordes of Markov Chains. Search on Bibsonomy TACAS (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Laura R. Humphrey, Jana Tumova, Ufuk Topcu Structured Synthesis for Probabilistic Systems. Search on Bibsonomy NFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker 0001, Ufuk Topcu Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretinsky Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Jie Fu, Ufuk Topcu Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu The Partially Observable Games We Play for Cyber Deception. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nils Jansen 0001, Bettina Könighofer, Sebastian Junges, Roderick Bloem Shielded Decision-Making in MDPs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Ufuk Topcu Verification of Uncertain POMDPs Using Barrier Certificates. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nils Jansen 0001, Laura R. Humphrey, Jana Tumova, Ufuk Topcu Structured Synthesis for Probabilistic Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Federico Olmedo, Friedrich Gretz, Nils Jansen 0001, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver Conditioning in Probabilistic Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe Model Checking for Safe Navigation Among Humans. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy UAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Jie Fu, Ufuk Topcu Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu Synthesis in pMDPs: A Tale of 1001 Parameters. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Ufuk Topcu Verification of Uncertain POMDPs Using Barrier Certificates. Search on Bibsonomy Allerton The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion Planning under Partial Observability using Game-Based Abstraction. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu Sequential Convex Programming for the Efficient Verification of Parametric MDPs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen 0001, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli Synthesis and Verification of Self-aware Computing Systems. Search on Bibsonomy Self-Aware Computing Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Murat Cubuktepe, Ufuk Topcu Synthesis of shared control protocols with provable safety and performance guarantees. Search on Bibsonomy ACC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion planning under partial observability using game-based abstraction. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu Sequential Convex Programming for the Efficient Verification of Parametric MDPs. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen Bounded Model Checking for Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Nils Jansen 0001, Murat Cubuktepe, Ufuk Topcu Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tim Quatmann, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Parameter Synthesis for Markov Models: Faster Than Ever. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen 0001 Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen Bounded Model Checking for Probabilistic Programs. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Parameter Synthesis for Markov Models: Faster Than Ever. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes Parameter Synthesis for Probabilistic Systems. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen Safety-Constrained Reinforcement Learning for MDPs. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu Probabilistic Verification for Cognitive Models. Search on Bibsonomy AAAI Fall Symposia The full citation details ... 2016 DBLP  BibTeX  RDF
1Nils Jansen 0001, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver Conditioning in Probabilistic Programming. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Friedrich Gretz, Nils Jansen 0001, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver, Federico Olmedo Conditioning in Probabilistic Programming. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen Safety-Constrained Reinforcement Learning for MDPs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 High-level Counterexamples for Probabilistic Automata Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Nils Jansen 0001, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Counterexamples for Expected Rewards. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen 0001, Benjamin Lucien Kaminski, Federico Olmedo Understanding Probabilistic Programs. Search on Bibsonomy Correct System Design The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shashank Pathak, Erika Ábrahám, Nils Jansen 0001, Armando Tacchella, Joost-Pieter Katoen A Greedy Approach for the Efficient Repair of Stochastic Models. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001 Counterexamples in probabilistic verification. Search on Bibsonomy 2015   RDF
1Ralf Wimmer, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Minimal counterexamples for linear-time probabilistic verification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker 0001, Johann Schuster Symbolic counterexample generation for large discrete-time Markov chains. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Nils Jansen 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen Fast Debugging of PRISM Models. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Bernd Becker 0001, Christian Dehnert, Nils Jansen 0001, Joost-Pieter Katoen, Ralf Wimmer Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 High-Level Counterexamples for Probabilistic Automata. Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniel Neider, Nils Jansen 0001 Regular Model Checking Using Solver Technologies and Automata Learning. Search on Bibsonomy NASA Formal Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Maik Scheffler, Matthias Volk 0001, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Matthias Volk 0001, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 The COMICS Tool - Computing Minimal Counterexamples for DTMCs. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. Search on Bibsonomy MBMV The full citation details ... 2012 DBLP  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Erika Ábrahám, Bernd Becker 0001, Joost-Pieter Katoen Minimal Critical Subsystems for Discrete-Time Markov Models. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker 0001 Symbolic Counterexample Generation for Discrete-Time Markov Chains. Search on Bibsonomy FACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 Hierarchical Counterexamples for Discrete-Time Markov Chains. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám SMT-based Counterexample Generation for Markov Chains. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
1Erika Ábrahám, Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen 0001, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder On collaboratively conveying computer science to pupils. Search on Bibsonomy Koli Calling The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Nils Jansen 0001, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 DTMC Model Checking by SCC Reduction. Search on Bibsonomy QEST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Philipp Brauner, Nils Jansen 0001, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. Search on Bibsonomy DeLFI The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #68 of 68 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license