Frehse G, Abate A, Adzkiya D, et al. ARCH-COM Category Report: Hybrid systems with piecewise constant dynamics. In: Frehse G, Althoff M, eds. ARC. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol 61. EasyChair; 2019:1-13. doi:10.29007/rjwn
LibreCat: https://research-explorer.ista.ac.at/record/10877
DOI: 10.29007/rjwn

Chatterjee K, Dvoák W, Henzinger MH, Svozil A. Quasipolynomial set-based symbolic algorithms for parity games. In: 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Vol 57. EasyChair; 2018:233-253. doi:10.29007/5z5k
LibreCat: https://research-explorer.ista.ac.at/record/10883
DOI: 10.29007/5z5k
arXiv: 1909.04983