Ronen Nir
3 papers
· 2019–2023
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
🚀
Conference Pioneer
Conferences
AAAI (3)
Top co-authors
Keywords
social law
(3)
agent coordination
(2)
multi-agent planning
(1)
continuous time
(1)
numeric planning
(1)
automated verification
(1)
robustness verification
(1)
strips planning
(1)
multi-robot system
(1)
multi-agent system
(1)
social law verification
(1)
social law synthesis
(1)
temporal planning
(1)
cross-agent conflict
(1)
formal verification
(1)