 |
ComputingReviews.com
| |
Efficiency through uncertainty:scalable formal synthesis for stochastic hybrid systems
Cauchi N., Laurenti L., Lahijanian M., Abate A., Kwiatkowska M., Cardelli L. HSCC 2019 (Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, Apr 16-18, 2019)240-251,2019.Type:Proceedings |
|
|
| |
 |
 |
 |
| |
 |
Use your personal or institutional subscription to read the
fulltext of the article.
 |
 |
| |
 |
| |
|
|
|
|
|
|
|
|
