Author:
Chen Xin,Sankaranarayanan Sriram
Publisher
Springer International Publishing
Reference121 articles.
1. Abbas, H., Fainekos, G., Sankaranarayanan, S., Ivancic, F., Gupta, A.: Probabilistic temporal logic falsification of cyber-physical systems. ACM Trans. Embedded Comput. Syst. (TECS) 12(12s), 95 (2013)
2. Althoff, M.: An introduction to CORA 2015. In: Proceedings of ARCH 2015, EPiC Series in Computer Science, vol. 34, pp. 120–151. EasyChair (2015)
3. Althoff, M., Stursberg, O., Buss, M.: Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear Anal. Hybrid Syst 4(2), 233–249 (2010)
4. Althoff, M., Frehse, G., Girard, A.: Set propagation techniques for reachability analysis. Annu. Rev. Control Robot. Auton. Syst. 4, 369–395 (2021)
5. Althoff, M., Krogh, B.H.: Avoiding geometric intersection operations in reachability analysis of hybrid systems. In: Proceedings of HSCC 2012, pp. 45–54. ACM (2012)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献