Company Filing History:
2 out of 757 
2 out of 5,303 
Years Active: 2022-2023
Title: Innovations by Karen Y Leung
Introduction
Karen Y Leung is an accomplished inventor based in Mountain View, California. She has made significant contributions to the field of autonomous driving technology, holding two patents that showcase her innovative approach to solving complex problems in this area.
Latest Patents
Her latest patents include "Systems and methods for automatic test generation" and "Simulation-based technique to synthesize controllers that satisfy signal temporal logic specifications." The first patent provides systems and methods for generating and evaluating driving scenarios with varying difficulty levels. This technology is designed to develop a suite of regression tests that track the progress of an autonomous driving stack. It computes a robustness trace of a temporal logic formula from an always-eventually fragment using a computation graph. The robustness trace can be approximated by a smoothly differentiable computation graph, which can be implemented in existing machine learning programming frameworks. This innovation is particularly useful in automatic test case generation for autonomous or semi-autonomous vehicles. The second patent outlines a method for synthesizing parameters for control of a closed-loop system based on a differentiable simulation model. This method includes determining requirements in signal temporal logic and selecting a parametric control law with a differentiable parameter control function. It also involves converting requirements into a differentiable computational graph and automatically learning parameter values through backpropagation.
Career Highlights
Karen has worked with notable organizations such as Toyota Research Institute and Leland Stanford Junior University. Her experience in these institutions has allowed her to collaborate on cutting-edge research and development projects.
Collaborations
Some of her coworkers include Nikos Arechiga Gonzalez and Marco Pavone, who have contributed to her innovative work in the field.
Conclusion
Karen Y Leung is a pioneering inventor whose work in autonomous driving technology is shaping the future of transportation. Her patents reflect her commitment to advancing the capabilities of autonomous systems.
Inventor’s Patent Attorneys refers to legal professionals with specialized expertise in representing inventors throughout the patent process. These attorneys assist inventors in navigating the complexities of patent law, including filing patent applications, conducting patent searches, and protecting intellectual property rights. They play a crucial role in helping inventors secure patents for their innovative creations.