Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11709471 | Distributed automated synthesis of correct-by-construction controllers | Majid Zamani | 2023-07-25 |
| 10452522 | Synthetic data generation from a service description language model | Carlos Alejandro Arguelles, Xiaozheng Chen | 2019-10-22 |