A framework for proving the computational intractability of motion planning problems

A framework for proving the computational intractability of motion planning problems

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, September, 2020

Bibliographic Details
Main Author:	Lynch, Jayson(Jayson R.)
Other Authors:	Erik D. Demaine.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2021
Subjects:	Electrical Engineering and Computer Science.
Online Access:	https://hdl.handle.net/1721.1/129205

Similar Items

On the computational complexity of portal and push-pull block puzzles
by: Lynch, Jayson (Jayson R.)
Published: (2016)

Underwater sound puluse generator
by: Strayer, Jayson D. (Jayson Dee)
Published: (2008)

Using simulation techniques to prove timing properties
by: Luchangco, Victor
Published: (2007)

Theorem-proving distributed algorithms with dynamic analysis
by: Ne Win, Toh, 1979-
Published: (2006)

A computational framework for understanding problems in stereo vision
by: Gennert, Michael Andrew
Published: (2005)

Proving correctness of a controller algorithm for the RAID Level 5 system
by: Vaziri-Farahani, Mandana
Published: (2005)

Deep reinforcement learning for intractable routing & inverse problems
by: Zhang, Rongkai
Published: (2023)

Translating timed I/O automata specifications for theorem proving in PVs
by: Lim, Hongping
Published: (2007)

Planning and teaching compliant motion strategies
by: Buckley, Stephen John
Published: (2005)

On learning task-directed motion plans
by: Finney, Sarah, 1974-
Published: (2009)

A hierarchical framework for constructing computationally efficient algorithms for distributed inference problems
by: Chu, Maurice Kyojin, 1973-
Published: (2005)

A perception-guided approach to motion and manipulation planning
by: Wei, Yuan
Published: (2010)

Exact geometry algorithms for robotic motion planning
by: Deshpande, Ashwin.
Published: (2019)

Force-and-motion constrained planning for tool use
by: Holladay, Rachel Mara.
Published: (2020)

Robust online motion planning with reachable sets
by: Majumdar, Anirudha
Published: (2013)

Reactive integrated motion planning and execution using Chekhov
by: Shroff, Ameya
Published: (2014)

Optimization for control and planning of multi-contact dynamic motion
by: Posa, Michael (Michael Antonio)
Published: (2017)

A framework for the global computing system
by: Patel, Amit R. (Amit Rajinikant)
Published: (2008)

Motion planning with dynamic constraints through pose graph optimization
by: Balabanska, Nadya L.
Published: (2021)

Funnel libraries for real-time robust feedback motion planning
by: Majumdar, Anirudha
Published: (2016)

Supporting collaborative planning--the plan integration problem
by: Rosenblitt, David Ari
Published: (2005)

Using computer microvision to characterize the motions of a microfabricated gyroscope
by: Johnson, Laura Karine
Published: (2008)

Proving safety properties of an aircraft landing protocol using timed and untimed I/O automata : a case study
by: Umeno, Shinya
Published: (2007)

Multi-modal motion planning using composite pose graph optimization
by: Lao Beyer, Lukas C.
Published: (2021)

Sample-based motion planning in high-dimensional and differentially-constrained systems
by: Shkolnik, Alexander C
Published: (2010)

Plan-based proactive computing
by: Look, Gary Wai Keung, 1978-
Published: (2005)

Computer microvision measurements of stapedial motion in human temporal bone
by: Bilyeu, Bryan Clifford, 1975-
Published: (2010)

Computing 3-D motion in custom analog and digital VLSI
by: Dron, Lisa Glitsch, 1956-
Published: (2007)

Robust multi-contact dynamical motion planning using contact wrench set
by: Dai, Hongkai, Ph. D. Massachusetts Institute of Technology
Published: (2017)

A functional flow framework for cloud computing
by: Zhang, Amy Xian.
Published: (2013)

Avalanche : a framework for parallel and distributed computation
by: Schafer, Uriel (Uriel B.), 1977-
Published: (2005)

A custom computing framework for orientation and photogrammetry
by: Fiore, Paul D. (Paul David), 1963-
Published: (2005)

A streaming computation framework for the Cell Processor
by: Zhang, Xin David
Published: (2009)

Sidekick agents for sequential planning problems
by: Macindoe, Owen
Published: (2014)

Creation of tools for manipulation tasks through Task and motion Planning using differentiable physics
by: Wettersten, Christina.
Published: (2019)

Big Data in Motion: A Vehicle-Assisted Urban Computing Framework for Smart Cities
by: Murk, -, et al.
Published: (2019)

Model-Checking Problems as a Basis for Parameterized Intractability
by: Joerg Flum, et al.
Published: (2005-03-01)

A distributed object framework for pervasive computing applications
by: Pham, Hubert
Published: (2006)

Robust range-based localization and motion planning under uncertainty using ultra-wideband radio
by: Prentice, Samuel J. (Samuel James)
Published: (2009)

Architectural epidemiology : a computational framework
by: Peraino, Jim.
Published: (2020)