Neil Dantam

IEEE Robotics Autom. Lett., July, 2024

Scaling Motion Planning Infeasibility Proofs.

[BibT_eX]

[DOI]

CoRR, 2024

Exposure-Conscious Path Planning for Equal-Exposure Corridors.

[BibT_eX]

[DOI]

CoRR, 2024

Scheduling for Cyber-Physical Systems with Heterogeneous Processing Units under Real-World Constraints.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM International Conference on Supercomputing, 2024

Constraint-Aware Resource Management for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

Scaling Infeasibility Proofs via Concurrent, Codimension-One, Locally-Updated Coxeter Triangulation.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., December, 2023

A sampling and learning framework to prove motion planning infeasibility.

[BibT_eX]

[DOI]

Int. J. Robotics Res., September, 2023

Failure Explanation in Privacy-Sensitive Contexts: An Integrated Systems Approach.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

Robot Team Data Collection with Anywhere Communication.

[BibT_eX]

[DOI]

IROS, 2023

Sample-Driven Connectivity Learning for Motion Planning in Narrow Passages.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Communication Jamming-Aware Robot Path Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing in Smart Systems and the Internet of Things, 2023

2022

Exponential Convergence of Infeasibility Proofs for Kinematic Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Foundations of Robotics XV, 2022

Givenness Hierarchy Informed Optimal Document Planning for Situated Human-Robot Interaction.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

Optimizing Non-Markovian Information Gain Under Physics-Based Communication Constraints.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2021

Robust and efficient forward, differential, and inverse kinematics using dual quaternions.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2021

Learning Proofs of Motion Planning Infeasibility.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Optimization-Based Robot Team Exploration Considering Attrition and Communication Constraints.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

An Integrated Approach to Context-Sensitive Moral Cognition in Robot Cognitive Architectures.

[BibT_eX]

[DOI]

Ryan Blake Jackson

Santosh Balajee Banisetty

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2020

Towards General Infeasibility Proofs in Motion Planning<sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

2019

Learning Feasibility for Task and Motion Planning in Tabletop Environments.

[BibT_eX]

[DOI]

Andrew M. Wells

Anshumali Shrivastava

Lydia E. Kavraki

IEEE Robotics Autom. Lett., 2019

2018

The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework.

[BibT_eX]

[DOI]

Swarat Chaudhuri

Lydia E. Kavraki

IEEE Robotics Autom. Mag., 2018

Platform-Independent Benchmarks for Task and Motion Planning.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2018

An incremental constraint-based framework for task and motion planning.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2018

Practical Exponential Coordinates Using Implicit Dual Quaternions.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Foundations of Robotics XIII, 2018

Augmented, Mixed, and Virtual Reality Enabling of Robot Deixis.

[BibT_eX]

[DOI]

Proceedings of the Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation, 2018

2016

A linguistic method for robot verification programming and control.

[BibT_eX]

[DOI]

PhD thesis, 2016

Unix Philosophy and the Real World: Control Software for Humanoid Robots.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2016

Incremental Task and Motion Planning: A Constraint-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18, 2016

Task and Motion Policy Synthesis as Liveness Games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

The Ach Library: A New Framework for Real-Time Communication.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2015

Kinematically constrained workspace control via linear optimization.

[BibT_eX]

[DOI]

Zachary K. Kingston

Lydia E. Kavraki

Proceedings of the 15th IEEE-RAS International Conference on Humanoid Robots, 2015

2014

Online Camera Registration for Robot Manipulation.

[BibT_eX]

[DOI]

Heni Ben Amor

Henrik I. Christensen

Proceedings of the Experimental Robotics, 2014

Spherical parabolic blends for robot workspace trajectories.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Online multi-camera registration for bimanual workspace trajectories.

[BibT_eX]

[DOI]

Heni Ben Amor

Henrik I. Christensen

Proceedings of the 14th IEEE-RAS International Conference on Humanoid Robots, 2014

2013

The Motion Grammar: Analysis of a Linguistic Method for Robot Control.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2013

Multi-process control software for HUBO2 Plus robot.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Conference on Technologies for Practical Robot Applications, 2013

Correct Software Synthesis for Stable Speed-Controlled Robotic Walking.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24, 2013

2012

Linguistic Composition of Semantic Maps and Hybrid Controllers.

[BibT_eX]

[DOI]

Carlos Nieto-Granda

Henrik I. Christensen

Proceedings of the Experimental Robotics, 2012

Linguistic transfer of human assembly tasks to robots.

[BibT_eX]

[DOI]

Irfan A. Essa

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Robust and efficient communication for real-time multi-process robot software.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE-RAS International Conference on Humanoid Robots (Humanoids 2012), Osaka, Japan, November 29, 2012

The Motion Grammar calculus for Context-Free Hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

The Motion Grammar: Linguistic Perception, Planning, and Control.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems VII, 2011

The Motion Grammar for physical human-robot games.

[BibT_eX]

[DOI]

Pushkar Kolhe

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

2010

Dynamic pushing strategies for dynamically stable mobile manipulators.

[BibT_eX]

[DOI]

Pushkar Kolhe