PPaperPicks

Stephan Gocht

3 papers at tracked venues · 1 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1IJCAI ×1KR ×1

Frequent coauthors

Tomás Balyo
DBLP profile ↗ORCID search ↗
×2

Papers

  1. Using Planning for Automated Testing of Video Games
    IJCAI 2025 ·
    Tomás Balyo
    DBLP profile ↗ORCID search ↗
  2. End-to-End Verification for Subgraph Solving
    AAAI 2024 · Stephan Gocht
  3. Planning Domain Model Acquisition from State Traces without Action Parameters
    KR 2024 ·
    Tomás Balyo
    DBLP profile ↗ORCID search ↗