Funder
Engineering and Physical Sciences Research Council
Directorate for Computer and Information Science and Engineering
National Science Foundation
Air Force Research Laboratory
Air Force Office of Scientific Research
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference80 articles.
1. Akbarpour, B., Paulson, L.C.: MetiTarski: an automatic theorem prover for real-valued special functions. J. Autom. Reason. 44(3), 175–205 (2010)
2. Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) Hybrid Systems, Volume 736 of LNCS, pp. 209–229. Springer, Berlin (1992)
3. Lecture Notes in Computer Science,2015
4. Bemporad, A., Bicchi, A., Buttazzo, G.C. (eds.): Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3–5, 2007, Proceedings, Volume 4416 of LNCS. Springer (2007)
5. Berz, M., Makino, K.: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliab. Comput. 4(4), 361–369 (1998)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献