Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. In Sara Silva, Luís Paquete, editors, Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023. pages 1499-1507, ACM, 2023. [doi]
@inproceedings{BrizzioCPSAD23,
title = {Automated Repair of Unrealisable LTL Specifications Guided by Model Counting},
author = {Matías Brizzio and Maxime Cordy and Mike Papadakis and César Sánchez and Nazareno Aguirre and Renzo Degiovanni},
year = {2023},
doi = {10.1145/3583131.3590454},
url = {https://doi.org/10.1145/3583131.3590454},
researchr = {https://researchr.org/publication/BrizzioCPSAD23},
cites = {0},
citedby = {0},
pages = {1499-1507},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023},
editor = {Sara Silva and Luís Paquete},
publisher = {ACM},
}