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 |