Author:
Bak Stanley,Duggirala Parasara Sridhar
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Computer Assisted Proofs in Dynamic Groups (CAPD). http://capd.ii.uj.edu.pl/index.php
2. Althoff, M.: An introduction to CORA. In: Proceedings of the Workshop on Applied Verification for Continuous and Hybrid Systems (2015)
3. Althoff, M., Krogh, B.H.: Avoiding geometric intersection operations in reachability analysis of hybrid systems. In: Hybrid Systems: Computation and Control, pp. 45–54 (2012)
4. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138, 3–34 (1995)
5. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantitative Verification for Neural Networks using ProbStars;Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control;2023-05-09
2. Recent developments in theory and tool support for hybrid systems verification with HyPro;Information and Computation;2022-11
3. Extracting counterexamples induced by safety violation in linear hybrid systems;Automatica;2020-07
4. Aggregation Strategies in Reachable Set Computation of Hybrid Systems;ACM Transactions on Embedded Computing Systems;2019-10-19
5. Neural state classification for hybrid systems;Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19;2019