PPaperPicks

Roman Barták

5 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1ECAI ×1ICAPS ×1IJCAI ×1KR ×1

Frequent coauthors

Lukás Chrpa
×3
Tomás Balyo
×2
Filip Dvorák
×2
Stephan Gocht
×2
Martin Suda
×2
Dominik Safránek
×2
G. Michael Youngblood
×2
Mauro Vallati
×1
Thomas L. McCluskey
×1
Ronald P. A. Petrick
×1
Michal Cervenka
×1
Lukás Lipcák
×1

Papers

  1. On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning
    AAAI 2026 · Roman Barták
  2. Knowledge Engineering for Planning and Scheduling in the LLM Era
    ICAPS 2025 ·
    Mauro Vallati
    , Roman Barták,
    Lukás Chrpa
    ,
    Thomas L. McCluskey
    ,
    Ronald P. A. Petrick
  3. 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
  4. What to Do if a Plan Does Not Comply with an HTN Model?
    ECAI 2025 ·
    Kristýna Pantucková
    , Roman Barták
  5. 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