引用次数
引用: 6,058
H-指数: 35
I10-指数 : 84
出版物: 180
LTLMoP: Experimenting with language, Temporal Logic and robot control
C Finucane , Gangyuan Jing , H Kress-Gazit
intelligent robots and systems 1988 -1993
195
2010
Resource-Performance Trade-off Analysis for Mobile Robot Design
M Svorenova , M Lahijanian , AA Morye , D Rao
Robust Multisensor Fusion for Reliable Mapping and Navigation in Degraded Visual Conditions
Kevin Daun , Marius Schnaubelt , Stefan Kohlbrecher , Oskar von Stryk
Annu. Rev. Control Robot. Auton. Syst 3 16.1 -16.31
2020
Transforming high level tasks to low level controllers
Hadas Kress-Gazit , George J. Pappas
University of Pennsylvania
14
2008
Designing reactive robot controllers with LTLMoP
Hadas Kress-Gazit , Cameron Finucane , Gangyuan Jing
national conference on artificial intelligence 70 -71
4
2011
Make it So: Continuous, Flexible Natural Language Interaction with an Autonomous Robot
Daniel J Brooks , Constantine Lignos , Cameron Finucane , Mikhail S Medvedev
national conference on artificial intelligence
17
2012
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
Hadas Kress-Gazit , Erika Abraham , Lorenzo Natale , Armando Tacchella
Dagstuhl Reports 7 ( 2) 63
1
2017
Robot Operating System (ROS) Introspective Implementation of High-Level Task Controllers
Hadas Kress-Gazit , Kai Weng Wong
Journal of Software Engineering for Robotics 8 ( 1) 65 -77
2
2017
Verifiable Control of Robotic Swarm from High-level Specifications
Hadas Kress-Gazit , Salar Moarref , Ji Chen
adaptive agents and multi-agents systems 568 -576
7
2018
Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081)
Hadas Kress-Gazit , Kerstin I. Eder , Guy Hoffman , Rachid Alami
Dagstuhl Reports 9 ( 2) 110
2
2019
Accomplishing high-level tasks with modular robots
Hadas Kress-Gazit , Tarik Tosun , Gangyuan Jing , Mark Yim
Autonomous Robots 42 ( 7) 1337 -1354
6
2018
Automatic Control Synthesis for Swarm Robots from Formation and Location-based High-level Specifications
Hadas Kress-Gazit , Michael Rubenstein , Hanlin Wang , Ji Chen
intelligent robots and systems 8027 -8034
2020
Event-Based Signal Temporal Logic Synthesis for Single and Multi-Robot Tasks
Hadas Kress-Gazit , David Gundana
international conference on robotics and automation 6 ( 2) 3687 -3694
2021
Learning and Planning for Temporally Extended Tasks in Unknown Environments.
Hadas Kress-Gazit , Adam Pacheck , Gregory J. Stein , Christopher Bradley
arXiv: Robotics
11
2021
Let's talk: Autonomous conflict resolution for robots carrying out individual high-level tasks in a shared workspace
Kai Weng Wong , Hadas Kress-Gazit
international conference on robotics and automation 339 -345
10
2015
Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning
Jonathan A. DeCastro , Vasumathi Raman , Hadas Kress-Gazit
international conference on robotics and automation 369 -376
9
2015
Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations
Vasumathi Raman , Nir Piterman , Hadas Kress-Gazit
international conference on robotics and automation 4075 -4081
28
2013
Improving the continuous execution of reactive LTL-based controllers
Gangyuan Jing , Hadas Kress-Gazit
international conference on robotics and automation 5439 -5445
7
2013
Synthesis for multi-robot controllers with interleaved motion
Vasumathi Raman , Hadas Kress-Gazit
international conference on robotics and automation 4316 -4321
25
2014
George Pappas Vasumathi Raman Georgios Fainekos Morteza Lahijanian Jonathan DeCastro Kai Weng Wong (Catherine Wong) Tarik Tosun Mark Yim Ruediger Ehlers David C. Conner Mitchell Marcus Constantine Lignos Mark Campbell Moshe Y. Vardi Daniela Rus Spyros Maniatopoulos Lydia E. Kavraki Thomas Howard Philipp Schillinger Alfred A. Rizzi