Author:
Bortolussi Luca,Cairoli Francesca,Paoletti Nicola,Smolka Scott A.,Stoller Scott D.
Publisher
Springer International Publishing
Reference27 articles.
1. dReal - Networked Water Tank Controllers (2017).
http://dreal.github.io/benchmarks/networks/water/
2. Alur, R.: Formal verification of hybrid systems. In: Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT), pp. 273–278, October 2011
3. Lecture Notes in Computer Science;R Babaee,2018
4. Bak, S., Johnson, T.T., Caccamo, M., Sha, L.: Real-time reachability for verified simplex design. In: Real-Time Systems Symposium (RTSS), 2014 IEEE, pp. 138–148. IEEE (2014)
5. Balasubramanian, V., Ho, S.S., Vovk, V.: Conformal prediction for reliable machine learning: theory, adaptations and applications. Newnes (2014)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献