PPaperPicks

Sven Schewe

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ECAI ×2IJCAI ×2

Frequent coauthors

Ernst Moritz Hahn
DBLP profile ↗ORCID search ↗
×2
Christoph Weinhuber
DBLP profile ↗ORCID search ↗
×1
Mona Alluwaym
DBLP profile ↗ORCID search ↗
×1
Giuseppe De Giacomo
DBLP profile ↗ORCID search ↗
×1
Yong Li
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Good-for-MDP State Reduction for Stochastic LTL Planning
    AAAI 2026 ·
    Christoph Weinhuber
    DBLP profile ↗ORCID search ↗
  2. Efficient Learning of Weak Deterministic Büchi Automata
    ECAI 2025 ·
    Mona Alluwaym
    DBLP profile ↗ORCID search ↗
  3. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives
    IJCAI 2025 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  4. Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata
    IJCAI 2024 ·
    Yong Li
    DBLP profile ↗ORCID search ↗
  5. Multi-Agent Reinforcement Learning for Alternating-Time Logic
    ECAI 2024 ·
    Ernst Moritz Hahn
    DBLP profile ↗ORCID search ↗
  6. Omega-Regular Decision Processes
    AAAI 2024 ·
    Ernst Moritz Hahn
    DBLP profile ↗ORCID search ↗