pith. sign in

Sebastian Junges

Identifiers

  • name variant Sebastian Junges 0.60 · backfill

Papers (23)

  1. UMB: A Unified Markov Binary Format for Probabilistic Model Checking (extended version) cs.LO · 2026 · author #4
  2. Scalable Probabilistic Program Verification via Typed Extended Decision Diagrams cs.PL · 2026 · author #3
  3. Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families cs.LO · 2026 · author #2
  4. Shields to Guarantee Probabilistic Safety in MDPs cs.LO · 2026 · author #5
  5. Incremental Fingerprinting in an Open World cs.CR · 2026 · author #5
  6. Are Parametric Markov Chains Monotonic? cs.LO · 2019 · author #2
  7. Counterexample-Driven Synthesis for Probabilistic Program Sketches cs.SE · 2019 · author #3
  8. On the Complexity of Reachability in Parametric Markov Decision Processes cs.LO · 2019 · author #2
  9. Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees cs.SE · 2019 · author #2
  10. Shepherding Hordes of Markov Chains cs.LO · 2019 · author #3
  11. The Partially Observable Games We Play for Cyber Deception cs.AI · 2018 · author #4
  12. One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs cs.SE · 2018 · author #1
  13. Synthesis in pMDPs: A Tale of 1001 Parameters cs.AI · 2018 · author #3
  14. Permissive Finite-State Controllers of POMDPs using Parameter Synthesis cs.LO · 2017 · author #1
  15. Strategy Synthesis in POMDPs via Game-Based Abstractions cs.RO · 2017 · author #2
  16. Markov Automata with Multiple Objectives cs.LO · 2017 · author #2
  17. A storm is Coming: A Modern Probabilistic Model Checker cs.SE · 2017 · author #2
  18. Sequential Convex Programming for the Efficient Verification of Parametric MDPs cs.LO · 2017 · author #3
  19. Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction cs.AI · 2016 · author #1
  20. The Probabilistic Model Checker Storm (Extended Abstract) cs.SE · 2016 · author #2
  21. Advancing Dynamic Fault Tree Analysis cs.SE · 2016 · author #2
  22. Parameter Synthesis for Markov Models: Faster Than Ever cs.LO · 2016 · author #4
  23. Safety-Constrained Reinforcement Learning for MDPs cs.SE · 2015 · author #1

Mentions

  • 2601.21680 #5 · arxiv_oai · confidence 0.70 Sebastian Junges
  • 2606.17811 #4 · arxiv_oai · confidence 0.70 Sebastian Junges
  • 2606.15043 #3 · arxiv_oai · confidence 0.70 Sebastian Junges
  • 1710.10294 #1 · arxiv_oai · confidence 0.70 Sebastian Junges
  • 1510.05880 #1 · arxiv_oai · confidence 0.70 Sebastian Junges

Frequent Coauthors