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