Sebastian Junges und Nils Jansen - Info zur Person

(1 - 24 von 24

)

14th Workshop on Quantitative Aspects of Programming QAPL 2016

qapl16.doc.ic.ac.uk

Finding Bounds in Average-energy Games; Enno Ruijters, Dennis Guck, Peter Drolenga and Marielle Stoelinga: Reliability-centered maintenance via fault tree analysis; Sebastian Junges, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Matthias Volk and Tim Quatmann: Advances in parametric ...

Nils Jansen's Homepage

www.cs.ru.nl

Sebastian Junges, Nils Jansen, Ruohan Zhang, Joost-Pieter Katoen, Ufuk Topcu, Mary Hayhoe. Model Checking For Safe Navigation Among Humans. In QEST, ...

Dependable Software Systems Engineering - Google Books

books.google.de

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, and Erika Abraham. PROPhESY: a ...

Abstraktions-basierte Verifikation von POMDPs im...

books.google.de

Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker. Universitätsbibliothek Tübingen,

Parameter Synthesis for Probabilistic Systems - Christian Dehnert,...

books.google.de

Title, Parameter Synthesis for Probabilistic Systems Volume 7 of MBMV : GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen". Authors, Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, ...

[ ] Enforcing Almost-Sure Reachability in POMDPs

arxiv.org

Authors:Sebastian Junges, Nils Jansen, Sanjit A. Seshia · Download PDF. Abstract: Partially-Observable Markov Decision Processes ...

[ ] Safety-Constrained Reinforcement Learning for MDPs

arxiv.org

Authors: Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost- Pieter Katoen. (Submitted on 20 Oct 2015). Abstract: We consider controller synthesis for stochastic and partially unknown environments in which safety is essential. Specifically, we abstract the problem as a Markov decision process in which the ...

Rechnerarchitektur - Universität Freiburg

ira.informatik.uni-freiburg.de

Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker Finite-State Controllers of POMDPs via Parameter Synthesis Proceedings of the 34th Conference on Uncertainty in Artificial Intelligence (UAI) , AUAI Press, Seiten :

Shepherding Hordes of Markov Chains | SpringerLink

link.springer.com

Authors; Authors and affiliations. Milan Češka; Nils Jansen; Sebastian Junges Email author; Joost-Pieter Katoen. Milan Češka. 1. Nils Jansen. 2.

Schloss Dagstuhl : Participant List

www.dagstuhl.de

... Nils Jansen (Radboud University Nijmegen, NL) [dblp] · Sebastian Junges (RWTH Aachen, DE) [dblp] · Joost-Pieter Katoen (RWTH Aachen, ...

‪Nils Jansen‬ - ‪Google Scholar‬

scholar.google.fr

‪Assistant Professor, Radboud University Nijmegen‬ - ‪‪引用: 1,083 件‬‬ - ‪Artificial Intelligence‬ - ‪Planning under Uncertainty‬ - ‪POMDPs‬ - ‪Safe...

Accepted Papers | CAV 2015

i-cav.org

Synthesis through Unification; Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen and ...

Reading Tools

aaai.org

Sebastian Junges RWTH Aachen University Germany. Nils Jansen University of Texas at Austin United States. Joost-Pieter Katoen RWTH Aachen University

NSF Award Search: Award # CPS: Synergy: Collaborative...

www.nsf.gov

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu. "Sequential Convex ...

NSF Award Search: Award # CPS: Synergy: Collaborative...

www.nsf.gov

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe. "Model Checking for Safe Navigation Among ...

QEST 2018: 15th International Conference on Quantitative ...www.qest.org › qest2018 › accepted-papers

www.qest.org

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang and Mary Hayhoe. Automated Verification of Concurrent Stochastic Games

SYNT 2019

cs.nyu.edu

11:30-11:50, Contributed talk: Shielded Decision-Making in MDPs. Nils Jansen, Bettina Könighofer, Sebastian Junges and Roderick Bloem Extended abstract

Scenario-Based Verification of Uncertain MDPs - PubMed

pubmed.ncbi.nlm.nih.gov

Authors. Murat Cubuktepe , Nils Jansen , Sebastian Junges , Joost-Pieter Katoen , Ufuk Topcu. Affiliations. 1 The University of Texas at Austin, ...

[ ] Safety-Constrained Reinforcement Learning for MDPs

128.84.21.199

Safety-Constrained Reinforcement Learning for MDPs. Authors:Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter ...

Alle Infos zum Namen "Sebastian Junges"

Verwandte Suchanfragen zu Sebastian Junges

Jens Katelaan
Erika Abraham
Christian Dehnert

Florian Corzilius
Matthias Volk
Ulrich Loup

Joost-Pieter Katoen
Nils Jansen
Dennis Guck

Personen
Vorname "Sebastian" (47648)
Name "Junges" (56)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sebastian Junges und Nils Jansen Person-Info