Search Results for author: Wanwei Liu

Found 5 papers, 0 papers with code

Credit Assignment for Trained Neural Networks Based on Koopman Operator Theory

no code implementations2 Dec 2022 Zhen Liang, Changyuan Zhao, Wanwei Liu, Bai Xue, Wenjing Yang, Zhengbin Pang

Based on Koopman operator theory, this paper presents an alternative perspective of linear dynamics on dealing with the credit assignment problem for trained neural networks.

On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach

no code implementations13 Mar 2020 Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu

To address such a scenario in a principled way, we introduce a forgetting-based approach in CTL and show that it can be used to compute SNC and WSC of a property under a given model and over a given signature.

Cannot find the paper you are looking for? You can Submit a new open access paper.