Rostislav Horčík
6 papers · 2021–2026 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
🏃
Academic Marathon
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (6)
Top co-authors
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