Publisher
Springer Berlin Heidelberg
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Survey on automated symbolic verification and its application for synthesising cyber‐physical systems;IET Cyber-Physical Systems: Theory & Applications;2019-09-18
2. From Design to Implementation: An Automated, Credible Autocoding Chain for Control Systems;Advances in Control System Technology for Aerospace Applications;2015-09-17
3. Practical policy iterations;Formal Methods in System Design;2015-04
4. Abstract acceleration of general linear loops;ACM SIGPLAN Notices;2014-01-13
5. Abstract acceleration of general linear loops;Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2014-01-08