Stephan Gocht

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 IJCAI ×1 KR ×1

Frequent coauthors

Tomás Balyo

×2

Roman Barták

×2

Lukás Chrpa

×2

Filip Dvorák

×2

Martin Suda

×2

Dominik Safránek

×2

G. Michael Youngblood

×2

Michal Cervenka

×1

Lukás Lipcák

×1

Viktor Macek

×1

Dominik Rohácek

×1

Josef Ryzí

×1

Papers

Using Planning for Automated Testing of Video Games
IJCAI 2025 ·
Tomás Balyo
,
Roman Barták
,
Lukás Chrpa
,
Michal Cervenka
,
Filip Dvorák
, Stephan Gocht,
Lukás Lipcák
,
Viktor Macek
,
Dominik Rohácek
,
Josef Ryzí
,
Martin Suda
,
Dominik Safránek
,
Slavomír Svancár
,
G. Michael Youngblood
End-to-End Verification for Subgraph Solving
AAAI 2024 · Stephan Gocht,
Ciaran McCreesh
,
Magnus O. Myreen
,
Jakob Nordström
,
Andy Oertel
,
Yong Kiam Tan
Planning Domain Model Acquisition from State Traces without Action Parameters
KR 2024 ·
Tomás Balyo
,
Martin Suda
,
Lukás Chrpa
,
Dominik Safránek
, Stephan Gocht,
Filip Dvorák
,
Roman Barták
,
G. Michael Youngblood