Personal information

No personal information available

Activities

Collapse all

Works (2)

On first-order runtime enforcement of branching-time properties

Acta Informatica
2023-12 | Journal article
DOI: 10.1007/s00236-023-00441-9
Contributors: Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir
Source: check_circle
Crossref

On Bidirectional Runtime Enforcement

2021 | Book chapter
DOI: 10.1007/978-3-030-78089-0_1
Contributors: Luca Aceto; Ian Cassar; Adrian Francalanza; Anna Ingólfsdóttir
Source: check_circle
Crossref
How many people are using ORCID?