Automated Repair of Unrealisable LTL Specifications Guided by Model Counting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Matías Brizzio' in GoogleThis author has not been identified. Look up 'Maxime Cordy' in GoogleThis author has not been identified. Look up 'Mike Papadakis' in GoogleThis author has not been identified. Look up 'César Sánchez' in GoogleThis author has not been identified. Look up 'Nazareno Aguirre' in GoogleThis author has not been identified. Look up 'Renzo Degiovanni' in Google

runs on WebDSL