%0 Conference Paper %1 conf/gecco/BrizzioCPSAD23 %A Brizzio, Matías %A Cordy, Maxime %A Papadakis, Mike %A Sánchez, César %A Aguirre, Nazareno %A Degiovanni, Renzo %B GECCO %D 2023 %E Silva, Sara %E Paquete, Luís %I ACM %K dblp %P 1499-1507 %T Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. %U http://dblp.uni-trier.de/db/conf/gecco/gecco2023.html#BrizzioCPSAD23

@inproceedings{conf/gecco/BrizzioCPSAD23, added-at = {2024-04-01T00:00:00.000+0200}, author = {Brizzio, Matías and Cordy, Maxime and Papadakis, Mike and Sánchez, César and Aguirre, Nazareno and Degiovanni, Renzo}, biburl = {https://www.bibsonomy.org/bibtex/23bec241f6e5fe6727675a362528162ac/dblp}, booktitle = {GECCO}, crossref = {conf/gecco/2023}, editor = {Silva, Sara and Paquete, Luís}, ee = {https://doi.org/10.1145/3583131.3590454}, interhash = {49798fe5e635eed043cb069fd887b66b}, intrahash = {3bec241f6e5fe6727675a362528162ac}, keywords = {dblp}, pages = {1499-1507}, publisher = {ACM}, timestamp = {2024-04-09T19:32:37.000+0200}, title = {Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.}, url = {http://dblp.uni-trier.de/db/conf/gecco/gecco2023.html#BrizzioCPSAD23}, year = 2023 }