Information
Name | Renyan Feng |
Group | Knowledge Representation & Reasoning |
List of presentations
Date | Title |
---|---|
18 May 2020 | On Sufficient and Necessary Conditions in Bounded CTL |
Name | Renyan Feng |
Group | Knowledge Representation & Reasoning |
Date | Title |
---|---|
18 May 2020 | On Sufficient and Necessary Conditions in Bounded CTL |