TY  - RPRT
TI  - Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
AU  - Luca Aceto
AU  - Ian Cassar
AU  - Adrian Francalanza
AU  - Anna Ingolfsdottir
PY  - 2023
DO  - 10.46298/lmcs-19(1:14)2023
UR  - https://arxiv.org/abs/2201.03108
ID  - 2201.03108
ER  -