Issued Patents 2022
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11256611 | Simulation-based technique to synthesize controllers that satisfy signal temporal logic specifications | Karen Leung, Soon Ho Kong, Jonathan DeCastro, Frank Noble Permenter | 2022-02-22 |