Hadas Kress-Gazit
7 papers
· 2011–2020
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(18)
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Academic Marathon
(9)
π
Cross-Pollinator
(7)
π
Keyword Trendsetter Combo
(5)
π
Trend Setter
ποΈ
Keyword Collector
(53)
Conferences
RSS (6)
IJCAI (1)
Top co-authors
Research topics
Keywords
formal methods
(2)
formal verification
(2)
configuration generation
(2)
behavior generation
(2)
mission planner
(2)
mission planning
(2)
modular robot
(2)
robot behavior
(1)
correctness verification
(1)
robot control
(1)
trajectory planning
(1)
runtime verification
(1)
probabilistic analysis
(1)
linear temporal logic
(1)
robot task planning
(1)
temporal logic
(1)
formal synthesis
(1)
controller synthesis
(1)
task planning
(1)
obstacle avoidance
(1)