Provably Safe and Efficient Motion Planning with Uncertain Human Dynamics

Provably Safe and Efficient Motion Planning with Uncertain Human Dynamics

Bibliographic Details
Main Authors:	Li, Shen, Figueroa, Nadia, Shah, Ankit, Shah, Julie
Other Authors:	Massachusetts Institute of Technology. Department of Aeronautics and Astronautics
Format:	Article
Language:	English
Published:	Robotics: Science and Systems Foundation 2022
Online Access:	https://hdl.handle.net/1721.1/145785

Similar Items

Planning with Uncertain Specifications (PUnS)
by: Shah, Ankit, et al.
Published: (2021)

Provably Safe Trajectory Optimization in the Presence of Uncertain Convex Obstacles
by: Dawson, Charles, et al.
Published: (2022)

Safe and efficient high dimensional motion planning in space-time with time parameterized prediction
by: Li, Shen, et al.
Published: (2020)

Probabilistically safe motion planning to avoid dynamic obstacles with uncertain motion patterns
by: Aoude, Georges, et al.
Published: (2013)

An Efficient Solution to Optimal Motion Planning With Provable Safety and Convergence
by: PANAGIOTIS ROUSSEAS, et al.
Published: (2024-01-01)

Probabilistically Safe Avoidance of Dynamic Obstacles with Uncertain Motion Patterns
by: Luders, Brandon D., et al.
Published: (2011)

Learning provably robust policies in uncertain parametric environments
by: Schnitzer, Y, et al.
Published: (2025)

Provably safe robot navigation with obstacle uncertainty
by: Axelrod, Brian, et al.
Published: (2021)

Provably Safe Robot Navigation with Obstacle Uncertainty
by: Axelrod, Brian, et al.
Published: (2021)

Risk Assessment and Motion Planning for MAVs in Dynamic Uncertain Environments
by: Xingyu Xia, et al.
Published: (2024-09-01)

Provably Safe Artificial General Intelligence via Interactive Proofs
by: Kristen Carlson
Published: (2021-10-01)

Formal design of a provably safe robotic roundabout system
by: Duperret, Jeffrey M., et al.
Published: (2013)

Predictive modeling and socially aware motion planning in dynamic, uncertain environments
by: Chen, Yu Fan, Ph. D. Massachusetts Institute of Technology
Published: (2018)

Automated formal synthesis of provably safe digital controllers for continuous plants
by: Abate, A, et al.
Published: (2019)

Provably efficient learning with typed parametric models
by: Brunskill, Emma, et al.
Published: (2010)

Global Motion Planning under Uncertain Motion, Sensing, and Environment Map
by: Kurniawati, Hanna, et al.
Published: (2019)

Safe and Efficient Motion Planning through Chance-Constrained Nonlinear Optimization
by: Dawson, Charles Burke
Published: (2022)

Safe and Efficient Motion Planning in Robotic Manipulation through Formal Methods
by: Yu, Mingxin
Published: (2024)

Analyzing the Effects of Human-Aware Motion Planning on Close-Proximity Human-Robot Collaboration
by: Lasota, Przemyslaw Andrzej, et al.
Published: (2015)

Private and Provably Efficient Federated Decision-Making
by: Dubey, Abhimanyu
Published: (2022)

Provably Efficient Adaptive Scheduling for Parallel Jobs
by: He, Yuxiong, et al.
Published: (2007)

Provably efficient scheduling for relaxed multithreaded computations
by: Gordienko, Maksim.
Published: (2008)

Provably secure and efficient proxy signature scheme
by: Jie ZENG, et al.
Published: (2014-08-01)

Provably secure and efficient proxy signature scheme
by: Jie ZENG, et al.
Published: (2014-08-01)

Reactive optimal motion planning for a class of holonomic planar agents using reinforcement learning with provable guarantees
by: Panagiotis Rousseas, et al.
Published: (2024-01-01)

Robust human motion prediction for safe and efficient human-robot interaction
by: Lasota, Przemyslaw A.(Przemyslaw Andrzej)
Published: (2019)

Efficient identification protocol provably secure in standard model
by: LI Yan-ping1, et al.
Published: (2009-01-01)

Efficient identification protocol provably secure in standard model
by: LI Yan-ping1, et al.
Published: (2009-01-01)

Uncertain dynamical systems : stability and motion control /
by: 217321 Martynyuk, A. A., et al.
Published: (2012)

Provably safe design of driver-assist systems through hybrid automata with hidden modes
by: Palas, Cassidy Martin
Published: (2012)

Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
by: Chen, Jingkai, et al.
Published: (2022)

Motion Planning for Mobile Robots Using Uncertain Obstacle Estimation
by: Zoltan Gyenes, et al.
Published: (2024-01-01)

Provably Efficient Algorithms for Multi-Objective Competitive RL
by: Yu, Tiancheng, et al.
Published: (2022)

Provably efficient adaptive scheduling of parallel jobs on multiprocessors
by: He, Yuxiong
Published: (2014)

Provably-efficient adaptive scheduling of multiprocessors for performance and energy
by: Sun, Hongyang
Published: (2011)

Human capital and organizational performance: Moderating effects of dynamism, uncertainly and munificence
by: Adnan, Zurina, et al.
Published: (2008)

Provably Safe Reinforcement Learning via Action Projection Using Reachability Analysis and Polynomial Zonotopes
by: Niklas Kochdumper, et al.
Published: (2023-01-01)

High performance and provably safe polling-systems-based control algorithms of all-autonomous intersections
by: Miculescu, David
Published: (2015)

GPU-accelerated real-time motion planning for safe human-robot collaboration
by: Fujii, Shohei
Published: (2024)

Provably secure and efficient escrowable public key encryption schemes
by: Wen-hao LIU, et al.
Published: (2014-07-01)