Issued Patents 2022
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11494537 | Method and system for efficient testing of digital integrated circuits | Aleksandar B. Feldman, Johan de Kleer, Alexandre Campos Perez | 2022-11-08 |
| 11386509 | System and method for determining hybrid-manufacturing process plans based on satisfiability modulo difference logic solver | Aleksandar B. Feldman, Morad Behandish, Johan de Kleer, Saigopal Nelaturi | 2022-07-12 |
| 11321504 | Learning constitutive equations of physical components with constraints discovery | Johan de Kleer | 2022-05-03 |
| 11249891 | Machine-learning framework for testing feedback controller robustness | Peter Patel-Schneider, Alexandre Perez, Ron Zvi Stern, Johan de Kleer | 2022-02-15 |
| 11244097 | System and method for determining hybrid-manufacturing process plans for printed circuit boards based on satisfiability modulo difference logic solver | Aleksandar B. Feldman, Morad Behandish, Johan de Kleer, Saigopal Nelaturi | 2022-02-08 |