Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
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