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

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Renyan Feng, Erman Acar, Stefan Schlobach, Yisong Wang, Wanwei Liu

Journal title: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)

Journal number: Proceedings

Journal publisher: KR Inc.

Published year: 2020

Published pages: 12-21