Login / Signup
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
Matías Brizzio
Maxime Cordy
Mike Papadakis
César Sánchez
Nazareno Aguirre
Renzo Degiovanni
Published in:
GECCO (2023)
Keyphrases
</>
model counting
bounded model checking
weighted model counting
model checking
knowledge compilation
transition systems
linear temporal logic
temporal logic
probabilistic inference
satisfiability testing
polynomial size
lower bound
knowledge representation
formal verification