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

Tomás Balyo
DBLP profile ↗ORCID search ↗
×2
Mauro Vallati
DBLP profile ↗ORCID search ↗
×1
Kristýna Pantucková
DBLP profile ↗ORCID search ↗
×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
    DBLP profile ↗ORCID search ↗
  3. Using Planning for Automated Testing of Video Games
    IJCAI 2025 ·
    Tomás Balyo
    DBLP profile ↗ORCID search ↗
  4. What to Do if a Plan Does Not Comply with an HTN Model?
    ECAI 2025 ·
    Kristýna Pantucková
    DBLP profile ↗ORCID search ↗
  5. Planning Domain Model Acquisition from State Traces without Action Parameters
    KR 2024 ·
    Tomás Balyo
    DBLP profile ↗ORCID search ↗