Showing 1 - 2 results of 2 for search 'Geir E. Dullerud', query time: 0.02s
Refine Results
-
1
<inline-formula><tex-math notation="LaTeX">$\mathsf{HyHooVer}$</tex-math></inline-formula>: Verification and Parameter Synthesis in Stochastic Systems With Hybrid State Space Using... by Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai
Published 2023-01-01
Article -
2
Differentially Private Algorithms for Statistical Verification of Cyber-Physical Systems by Yu Wang, Hussein Sibai, Mark Yen, Sayan Mitra, Geir E. Dullerud
Published 2022-01-01
Article