Ronen Nir
3 papers · 2019–2023 · 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 ↓
๐
Interdisciplinary Bridge ยท Bronze
๐ฃ
Hot Topic Early Bird
๐
Conference Pioneer
Venues
Top co-authors
Research topics
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)