Browsing by Subject Modality (Logic)
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) |
| 2023 | Bidirectional runtime enforcement of first-order branching-time properties | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹ |
| 2020 | The complexity of identifying characteristic formulae | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹ |
| 2024 | Complexity results for modal logic with recursion via translations and tableaux | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹ |
| 2014 | Extending the classes of montorable properties in detectER | Cutajar, Kurt (2014) |
| 2023 | On first-order runtime enforcement of branching-time properties | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹ |
| 2022 | A synthesis tool for optimal monitors in a branching-time setting | Achilleos, Antonis; Exibard, Leo; Francalanza, Adrian; Lehtinen, Karoliina; Xuereb, Jasmine |
