Login / Signup
Computing unsatisfiable cores for LTLf specifications.
Marco Roveri
Claudio Di Ciccio
Chiara Di Francescomarino
Chiara Ghidini
Published in:
PMAI@IJCAI (2022)
Keyphrases
</>
unsatisfiable cores
orders of magnitude
metaheuristic