TY  - RPRT
TI  - Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
AU  - Matías Brizzio
AU  - Maxime Cordy
AU  - Mike Papadakis
AU  - César Sánchez
AU  - Nazareno Aguirre
AU  - Renzo Degiovanni
PY  - 2023
DO  - 10.1145/3583131.3590454
UR  - https://arxiv.org/abs/2105.12595
ID  - 2105.12595
ER  -