Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach

Information Sciences, vol. 616, pp. 474–504

Authors 6

1. Renyan Feng

   Guizhou University · Guizhou University of Finance and Economics

   Affiliation as printed

   Department of Computer Science and Technology, Guizhou University, China

   Institute for Artificial Intelligence, Guizhou University, China

   School of Information, Guizhou University of Finance and Economics, China

2. Erman Acar corresponding Aachen

   Leiden University · Vrije Universiteit Amsterdam

   Affiliation as printed

   LIACS, Leiden University, The Netherlands

   Vrije Universiteit Amsterdam, The Netherlands

3. Yisong Wang corresponding

   Guizhou University

   Affiliation as printed

   Department of Computer Science and Technology, Guizhou University, China

   Institute for Artificial Intelligence, Guizhou University, China

4. Wanwei Liu

   National University of Defense Technology

   Affiliation as printed

   National University of Defense Technology, China

5. Stefan Schlobach

   Vrije Universiteit Amsterdam

   Affiliation as printed

   Vrije Universiteit Amsterdam, The Netherlands

6. Weiping Ding corresponding

   Nantong University

   Affiliation as printed

   School of Information Science and Technology, Nantong University, Nantong 226019, China