Issued Patents 2022
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11508009 | Trade asset card | Rameshchandra Bhaskar Ketharaju, Prabal Nandi, Shanmukeswara Rao Donkada | 2022-11-22 |
| 11501048 | Estimating hardness of formal properties using on-the-fly machine learning | Arunava Saha, Chuan Jiang | 2022-11-15 |