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]
Abstract is missing.