Issued Patents 2017
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9798652 | Coverage guided technique for bug finding in control systems and software | Jyotirmoy V. Deshmukh, Xiaoqing Jin, Thao Dang, Tommaso Dreossi | 2017-10-24 |
| 9606773 | Simulation-guided incremental stability analysis | Ayca Balkan, Jyotirmoy V. Deshmukh | 2017-03-28 |