Sampling-based Algorithms for Analysis and Design of Hybrid and Embedded Systems | Kavraki Lab

Sampling-based Algorithms for Analysis and Design of Hybrid and Embedded Systems

Publication Type:

Thesis

Authors:

Source:

Mechanical and Aerospace Engineering, University of California, Los Angeles, Volume Ph.D., Los Angeles, p.156 (2008)

Keywords:

Counterexample Search, Embedded Systems, hybrid systems, Motion Planning, path planning, Resolution-complete Algorithms, robotics, Safety analysis, Safety Falsification, Sampling-based algorithms