Rostislav Horčík
6 papers
· 2021–2026
· 1 conference
· across top CS/AI conferences
Achievements
🏃
Academic Marathon
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (6)
Top co-authors
Keywords
nash equilibrium
(3)
classical planning
(2)
lifted planning
(2)
zero-sum game
(2)
plan generation
(1)
constraint satisfaction
(1)
heuristic function
(1)
first-order logic
(1)
admissible heuristic
(1)
double oracle
(1)
admissible heuristics
(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)