Browsing by Author Kjartansson, Saevar Orn
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
| 2016 | Determinizing monitors for HML with recursion | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn |
| 2017 | On the complexity of determinizing monitors | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn |
