Number of items: 2.
Conference or Workshop Item (A Paper)
Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Nagapetyan, Tigran
(2017)
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
Article
Soudjani, Sadegh Esmaeil Zadeh and Majumdar, Rupak and Nagapetyan, Tigran
(2017)
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems.
CoRR, abs/17.
This list was generated on Sat Feb 22 16:29:36 2025 CET.