Computing Unsatisfiable Cores for LTLf Specifications.

Marco Roveri Claudio Di Ciccio Chiara Di Francescomarino Chiara Ghidini

Published in: J. Artif. Intell. Res. (2024)

Keyphrases

unsatisfiable cores
lower bound
learning algorithm