pith. sign in

Joost-Pieter Katoen

Identifiers

  • name variant Joost-Pieter Katoen 0.60 · backfill

Papers (40)

  1. Caesar: A Deductive Verifier for Probabilistic Programs cs.PL · 2026 · author #6
  2. Adversarial Robustness of Time-Series Classification for Crystal Collimator Alignment cs.CR · 2026 · author #7
  3. Are Parametric Markov Chains Monotonic? cs.LO · 2019 · author #3
  4. Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development cs.LO · 2019 · author #3
  5. Counterexample-Driven Synthesis for Probabilistic Program Sketches cs.SE · 2019 · author #4
  6. On the Complexity of Reachability in Parametric Markov Decision Processes cs.LO · 2019 · author #4
  7. Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees cs.SE · 2019 · author #3
  8. Shepherding Hordes of Markov Chains cs.LO · 2019 · author #4
  9. The Partially Observable Games We Play for Cyber Deception cs.AI · 2018 · author #5
  10. Parameter-Independent Strategies for pMDPs via POMDPs cs.LO · 2018 · author #4
  11. Sound Value Iteration cs.LO · 2018 · author #2
  12. One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs cs.SE · 2018 · author #2
  13. Synthesis in pMDPs: A Tale of 1001 Parameters cs.AI · 2018 · author #4
  14. How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times cs.PL · 2018 · author #3
  15. A New Proof Rule for Almost-Sure Termination cs.PL · 2017 · author #4
  16. Permissive Finite-State Controllers of POMDPs using Parameter Synthesis cs.LO · 2017 · author #6
  17. Strategy Synthesis in POMDPs via Game-Based Abstractions cs.RO · 2017 · author #6
  18. Markov Automata with Multiple Objectives cs.LO · 2017 · author #3
  19. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations cs.LO · 2017 · author #2
  20. A storm is Coming: A Modern Probabilistic Model Checker cs.SE · 2017 · author #3
  21. Sequential Convex Programming for the Efficient Verification of Parametric MDPs cs.LO · 2017 · author #4
  22. Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction cs.AI · 2016 · author #3
  23. The Probabilistic Model Checker Storm (Extended Abstract) cs.SE · 2016 · author #3
  24. Proving Linearizability via Branching Bisimulation cs.PL · 2016 · author #2
  25. Inferring Covariances for Probabilistic Programs cs.LO · 2016 · author #2
  26. Bounded Model Checking for Probabilistic Programs cs.PL · 2016 · author #4
  27. Advancing Dynamic Fault Tree Analysis cs.SE · 2016 · author #3
  28. Reasoning about Recursive Probabilistic Programs cs.LO · 2016 · author #3
  29. Parameter Synthesis for Markov Models: Faster Than Ever cs.LO · 2016 · author #5
  30. Safety-Constrained Reinforcement Learning for MDPs cs.SE · 2015 · author #5
  31. On the Hardness of PCTL Satisfiability cs.LO · 2015 · author #2
  32. On the Hardness of Almost-Sure Termination cs.LO · 2015 · author #2
  33. Conditioning in Probabilistic Programming cs.PL · 2015 · author #4
  34. Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard cs.LO · 2014 · author #2
  35. Quantitative model-checking of controlled discrete-time Markov processes math.PR · 2014 · author #3
  36. Probably Safe or Live cs.LO · 2014 · author #1
  37. Zero-Reachability in Probabilistic Multi-Counter Automata cs.FL · 2014 · author #5
  38. Accelerating Parametric Probabilistic Verification cs.SE · 2013 · author #6
  39. Modelling, Reduction and Analysis of Markov Automata (extended version) cs.LO · 2013 · author #4
  40. The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains cs.SE · 2012 · author #7

Mentions

  • 2605.15827 #6 · arxiv_oai · confidence 0.70 Joost-Pieter Katoen

Frequent Coauthors