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 Joost-Pieter Katoen

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

Bayesian Inference by Symbolic Model Checking


Jul 29, 2020
Bahare Salmani, Joost-Pieter Katoen

* Conference: QEST 2020 

  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

Simple Strategies in Multi-Objective MDPs (Technical Report)


Oct 25, 2019
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour


  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

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