On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches
International Conference on Computer Aided Verification (CAV), 2024
Chenglin Wang; Fangzhen Lin
Publications
Conference Papers
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2023
Chenglin Wang; Fangzhen Lin
Query Answering with Guarded Existential Rules under Stable Model Semantics
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), 2020
Hai Wan; Guohui Xiao; Chenglin Wang; Xianqiao Liu; Junhong Chen; Zhe Wang