Shahar Sarid
1 papers
· 2012–2012
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(5)
🌉
Interdisciplinary Bridge
🐣
Hot Topic Early Bird
📈
Trend Setter
Conferences
RSS (1)
Top co-authors
Keywords
motion planning
(1)
formal methods
(1)
abstraction refinement
(1)
formal verification
(1)
robot control
(1)
hybrid system
(1)
linear temporal logic
(1)
robot exploration
(1)
hybrid controller synthesis
(1)
partially known map
(1)
controller re-synthesis
(1)
discrete abstraction
(1)
high-level behavior
(1)
hybrid controller
(1)
automatic synthesis
(1)