Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization (English)
Free access
- New search for: Musavi, Negin
- New search for: Sun, Dawei
- New search for: Mitra, Sayan
- New search for: Dullerud, Geir
- New search for: Shakkottai, Sanjay
- New search for: Musavi, Negin
- New search for: Sun, Dawei
- New search for: Mitra, Sayan
- New search for: Dullerud, Geir
- New search for: Shakkottai, Sanjay
2019
- Preprint / Electronic Resource
-
Title:Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization
-
Contributors:Musavi, Negin ( author ) / Sun, Dawei ( author ) / Mitra, Sayan ( author ) / Dullerud, Geir ( author ) / Shakkottai, Sanjay ( author )
-
Publisher:
- New search for: arXiv
-
Publication date:2019
-
Remarks:24 pages, 7 figures
-
Type of media:Preprint
-
Type of material:Electronic Resource
-
Language:English
-
Licence:
-
Source: