Mining of extended signal temporal logic specifications with ParetoLib 2.0 | Publicación