Hadas Kress-Gazit
7 papers · 2011–2020 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
๐ Interdisciplinary Bridge ๐งญ Keyword Pioneer ๐ Conference Polyglot (2) ๐ Academic Marathon (9) ๐ Cross-Pollinator (7)
๐
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)
Papers
Automated Synthesis of Modular Manipulatorsโ Structure and Control for Continuous Tasks around Obstacles
RSS 2020
An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community
IJCAI 2017
An End-To-End System for Accomplishing Tasks with Modular Robots
RSS 2016
Correct High-level Robot Behavior in Environments with Unexpected Events
RSS 2014
Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language
RSS 2013
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps
RSS 2012
Probabilistic Analysis of Correctness of High-Level Robot Behavior with Sensor Error
RSS 2011