Search
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
To:
Your Colleague's E-mail:
From:
Your E-mail:
Subject:
Reviews: Efficiency through uncertainty
Message Body:
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy