Computing unsatisfiable cores for LTLf specifications

Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino +1

Linear-time temporal logic on finite traces (LTLf) is rapidly becoming a de-facto standard to produce specifications in many application domains (e.g., planning, business process m…