PPaperPicks

Sebastian Junges

11 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FM ×3IJCAI ×3AAAI ×2AAMAS ×1OOPSLA ×1UAI ×1

Frequent coauthors

Nils Jansen
×5
Milan Ceska
×3
Jurriaan Rot
×3
Linus Heck
×2
Filip Macák
×2
Loes Kruger
×2
Maris F. L. Galesloot
×2
Roman Andriushchenko
×2
Wietze Koops
×2
Thiago D. Simão
×2
Matthias Volk
×1
Joost-Pieter Katoen
×1

Papers

  1. Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
    AAAI 2026 ·
    Linus Heck
    ,
    Filip Macák
    ,
    Milan Ceska
    , Sebastian Junges
  2. Error-Awareness Accelerates Active Automata Learning
    FM 2026 ·
    Loes Kruger
    , Sebastian Junges,
    Jurriaan Rot
  3. Probabilistic Model Checking Taken by Storm - A Tutorial on the Probabilistic Model Checker Storm
    FM 2026 ·
    Matthias Volk
    ,
    Linus Heck
    , Sebastian Junges,
    Joost-Pieter Katoen
    ,
    Tim Quatmann
  4. A Unifying Approach to Product Constructions for Quantitative Temporal Inference
    OOPSLA 2025 ·
    Kazuki Watanabe
    , Sebastian Junges,
    Jurriaan Rot
    ,
    Ichiro Hasuo
  5. Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs
    IJCAI 2025 ·
    Maris F. L. Galesloot
    ,
    Roman Andriushchenko
    ,
    Milan Ceska
    , Sebastian Junges,
    Nils Jansen
  6. Symbiotic Local Search for Small Decision Tree Policies in MDPs
    UAI 2025 ·
    Roman Andriushchenko
    ,
    Milan Ceska
    ,
    Debraj Chakraborty
    , Sebastian Junges,
    Jan Kretínský
    ,
    Filip Macák
  7. Tighter Value-Function Approximations for POMDPs
    AAMAS 2025 ·
    Merlijn Krale
    ,
    Wietze Koops
    , Sebastian Junges,
    Thiago D. Simão
    ,
    Nils Jansen
  8. Approximate Dec-POMDP Solving Using Multi-Agent A*
    IJCAI 2024 ·
    Wietze Koops
    , Sebastian Junges,
    Nils Jansen
  9. Factored Online Planning in Many-Agent POMDPs
    AAAI 2024 ·
    Maris F. L. Galesloot
    ,
    Thiago D. Simão
    , Sebastian Junges,
    Nils Jansen
  10. Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs
    IJCAI 2024 ·
    Eline M. Bovy
    ,
    Marnix Suilen
    , Sebastian Junges,
    Nils Jansen
  11. State Matching and Multiple References in Adaptive Active Automata Learning
    FM 2024 ·
    Loes Kruger
    , Sebastian Junges,
    Jurriaan Rot