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 Sebastian Junges

Entropy-Guided Control Improvisation


Mar 09, 2021
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia


  Access Paper or Ask Questions

Inductive Synthesis for Probabilistic Programs Reaches New Horizons


Jan 29, 2021
Roman Andriushchenko, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen

* Full version of TACAS'21 submission 

  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

Verification of indefinite-horizon POMDPs


Jun 30, 2020
Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

* Technical report for ATVA 2020 paper with the same title 

  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

Counterexample-Driven Synthesis for Probabilistic Program Sketches


Apr 28, 2019
Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen

* Extended version 

  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

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

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