User profiles for Craig Knuth
 | Craig KnuthJohns Hopkins University Applied Physics Laboratory Verified email at jhuapl.edu Cited by 165 |
Planning with learned dynamics: Probabilistic guarantees on safety and reachability via lipschitz constants
We present a method for feedback motion planning of systems with unknown dynamics
which provides probabilistic guarantees on safety, reachability, and goal stability. To find a …
which provides probabilistic guarantees on safety, reachability, and goal stability. To find a …
Statistical safety and robustness guarantees for feedback motion planning of unknown underactuated stochastic systems
We present a method for providing statistical guarantees on runtime safety and goal
reachability for integrated planning and control of a class of systems with unknown nonlinear …
reachability for integrated planning and control of a class of systems with unknown nonlinear …
High-speed robot navigation using predicted occupancy maps
Safe and high-speed navigation is a key enabling capability for real world deployment of
robotic systems. A significant limitation of existing approaches is the computational bottleneck …
robotic systems. A significant limitation of existing approaches is the computational bottleneck …
Complex terrain navigation via model error prediction
Robot navigation traditionally relies on building an explicit map that is used to plan collision-free
trajectories to a desired target. In deformable, complex terrain, using geometric-based …
trajectories to a desired target. In deformable, complex terrain, using geometric-based …
Inferring obstacles and path validity from visibility-constrained demonstrations
Many methods in learning from demonstration assume that the demonstrator has knowledge
of the full environment. However, in many scenarios, a demonstrator only sees part of the …
of the full environment. However, in many scenarios, a demonstrator only sees part of the …
Generative Planning with Fast Collision Checks for High Speed Navigation
Reasoning about large numbers of diverse plans to achieve high speed navigation in
cluttered environments remains a challenge for robotic systems even in the case of perfect …
cluttered environments remains a challenge for robotic systems even in the case of perfect …
Lightweight uncertainty quantification with simplex semantic segmentation for terrain traversability
For navigation of robots, image segmentation is an important component to determining a
terrain's traversability. For safe and efficient navigation, it is key to assess the uncertainty of the …
terrain's traversability. For safe and efficient navigation, it is key to assess the uncertainty of the …
Correction to “Planning With Learned Dynamics: Probabilistic Guarantees on Safety and Reachability Via Lipschitz Constants”[Jul21 5129-5136]
We wish to make the following corrections and clarifications to our manuscript [1]. For a
version of the manuscript that has these changes integrated into the text, please see [2]. •In [1], …
version of the manuscript that has these changes integrated into the text, please see [2]. •In [1], …
[BOOK][B] A programming and problem-solving seminar
TG Rokicki, DE Knuth - 1987 - infolab.stanford.edu
Twenty-three students, Don Knuth in a classic grey three-piece suit, and yours truly crowded
into room 301 of Margaret Jacks Hall for the first meeting of CS 304. A course data sheet …
into room 301 of Margaret Jacks Hall for the first meeting of CS 304. A course data sheet …
[PDF][PDF] Nonquadratic Variation of the Blum Blum Shub Pseudorandom Number Generator
T Knuth - 2016 - upload.wikimedia.org
Cryptography is essential for secure online communications. Many different types of ciphers
are implemented in modern-day cryptography, but they all have one common factor. All …
are implemented in modern-day cryptography, but they all have one common factor. All …