Cited By
View all- Xu RChen JHe FDwyer MDamian DZeller A(2022)Data-driven loop bound learning for termination analysisProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510220(499-510)Online publication date: 21-May-2022
- Karimov TKelmendi EOuaknine JWorrell J(2022)What’s Decidable About Discrete Linear Dynamical Systems?Principles of Systems Design10.1007/978-3-031-22337-2_2(21-38)Online publication date: 29-Dec-2022
- Luca FOuaknine JWorrell J(2022)Algebraic Model Checking for Discrete Linear Dynamical SystemsFormal Modeling and Analysis of Timed Systems10.1007/978-3-031-15839-1_1(3-15)Online publication date: 29-Aug-2022
- Show More Cited By