Filip Dvorák

11 papers A* 2B 2Misc 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Using Planning for Automated Testing of Video Games.
IJCAI
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
2024 J jnl
Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Process.
CoRR
Slavomír Svancár, Lukás Chrpa, Filip Dvorák, Tomás Balyo
2024 J jnl
Learning Planning Action Models from State Traces.
CoRR
Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Filip Dvorák, Roman Barták, G. Michael Youngblood
2024 J jnl
On Automating Video Game Testing by Planning and Learning.
CoRR
Tomás Balyo, G. Michael Youngblood, Filip Dvorák, Roman Barták
2024 A* conf
Planning Domain Model Acquisition from State Traces without Action Parameters.
KR
Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Stephan Gocht, Filip Dvorák, Roman Barták, G. Michael Youngblood
2015 J jnl
Yet more planning efficiency: Finite-domain state-variable reformulation.
J. Exp. Theor. Artif. Intell.
Filip Dvorák, Daniel Toropila, Roman Barták
2014 B conf
Planning and Acting with Temporal and Hierarchical Decomposition Models.
ICTAI
Filip Dvorák, Roman Barták, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab
2013 — conf
Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation.
SARA
Filip Dvorák, Daniel Toropila, Roman Barták
2012 B conf
Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems.
ICTAI
Daniel Toropila, Filip Dvorák, Otakar Trunda, Martin Hanes, Roman Barták
2012 Misc conf
When Planning Should Be Easy: On Solving Cumulative Planning Problems.
FLAIRS
Roman Barták, Filip Dvorák, Jakub Gemrot, Cyril Brom, Daniel Toropila
2010 — conf
Integrating Time and Resources into Planning.
ICTAI (2)
Filip Dvorák, Roman Barták