Login / Signup
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.
Matías Brizzio
Renzo Degiovanni
Maxime Cordy
Mike Papadakis
Nazareno Aguirre
Published in:
CoRR (2021)
Keyphrases
</>
model counting
bounded model checking
weighted model counting
model checking
transition systems
temporal logic
learning theory
formal verification
linear temporal logic
integrity constraints
knowledge compilation
polynomial size