Dr Abolfazl Lavaei
Dr Amy Nejati
Pushpak Jagtap
| Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach | 2021 |
|
Pushpak Jagtap
Dr Sadegh Soudjani
| Formal Synthesis of Stochastic Systems via Control Barrier Certificates | 2021 |
|
Pushpak Jagtap
Dr Sadegh Soudjani
| Temporal Logic Verification of Stochastic Systems Using Barrier Certificates | 2018 |
|
