Hadas Kress-Gazit
7 papers · 2011–2020 · 2 venues · 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 ↓+5 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (18) 🐣 Hot Topic Early Bird
🌟
Keyword Trendsetter Combo
(5)
🧭
Keyword Pioneer
📈
Trend Setter
🗃️
Keyword Collector
(53)
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
Artificial Intelligence
(7)
Core AI
(7)
Robotics
(5)
Capabilities
(5)
Knowledge & Reasoning
(3)
Reasoning
(3)
Machine Learning
(2)
Reinforcement Learning
(2)
Applications
(2)
Mathematics & Optimization
(1)
Bayesian & Probabilistic · Artificial Intelligence
(1)
Bayesian & Probabilistic · Machine Learning
(1)
Optimization
(1)
Optimization & Theory
(1)
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