PPaperPicks

Sven Schewe

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ECAI ×2IJCAI ×2FM ×1

Frequent coauthors

Yong Li
×5
Qiyi Tang
×3
Christoph Weinhuber
×2
Giuseppe De Giacomo
×2
Ernst Moritz Hahn
×2
Mateo Perez
×2
Fabio Somenzi
×2
Ashutosh Trivedi
×2
Dominik Wojtczak
×2
Mona Alluwaym
×1
Pian Yu
×1
Daniele Dell'Erba
×1

Papers

  1. Good-for-MDP State Reduction for Stochastic LTL Planning
    AAAI 2026 ·
    Christoph Weinhuber
    ,
    Giuseppe De Giacomo
    ,
    Yong Li
    , Sven Schewe,
    Qiyi Tang
  2. Efficient Learning of Weak Deterministic Büchi Automata
    ECAI 2025 ·
    Mona Alluwaym
    ,
    Yong Li
    , Sven Schewe,
    Qiyi Tang
  3. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
    IJCAI 2025 ·
    Giuseppe De Giacomo
    ,
    Yong Li
    , Sven Schewe,
    Christoph Weinhuber
    ,
    Pian Yu
  4. Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata
    IJCAI 2024 ·
    Yong Li
    , Sven Schewe,
    Qiyi Tang
  5. DFAMiner: Mining Minimal Separating DFAs from Labelled Samples
    FM 2024 ·
    Daniele Dell'Erba
    ,
    Yong Li
    , Sven Schewe
  6. Multi-Agent Reinforcement Learning for Alternating-Time Logic
    ECAI 2024 ·
    Ernst Moritz Hahn
    ,
    Mateo Perez
    , Sven Schewe,
    Fabio Somenzi
    ,
    Ashutosh Trivedi
    ,
    Dominik Wojtczak
  7. Omega-Regular Decision Processes
    AAAI 2024 ·
    Ernst Moritz Hahn
    ,
    Mateo Perez
    , Sven Schewe,
    Fabio Somenzi
    ,
    Ashutosh Trivedi
    ,
    Dominik Wojtczak