Rostislav Horčík
6 papers · 2021–2026 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
Venues
Top co-authors
Research topics
Keywords
nash equilibrium
(3)
zero-sum game
(2)
lifted planning
(2)
classical planning
(2)
plan generation
(1)
constraint satisfaction
(1)
heuristic function
(1)
first-order logic
(1)
admissible heuristic
(1)
double oracle
(1)
fictitious play
(1)
continuous game
(1)
graph neural network
(1)
multi-agent system
(1)
state encoding
(1)
planning heuristics
(1)
adversarial planning
(1)
model theory
(1)
double oracle algorithm
(1)
resource competition
(1)
Papers
Perturbing Best Responses in Zero-Sum Games
AAAI 2026
State Encodings for GNN-Based Lifted Planners
AAAI 2025
Competing for Resources: Estimating Adversary Strategy for Effective Plan Generation
AAAI 2022
Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics
AAAI 2022
Double Oracle Algorithm for Computing Equilibria in Continuous Games
AAAI 2021
Endomorphisms of Classical Planning Tasks
AAAI 2021