Computing Unsatisfiable Cores for LTLf Specifications

Conference proceeding

Peer reviewed

M Roveri, C Di Ciccio, C Di Francescomarino and Chiara Ghidini

CEUR Workshop Proceedings, Vol.3310, pp.81-84

3310

2022 Workshop on Process Management in the AI Era, PMAI 2022 (Wien)

2022

Handle:

https://hdl.handle.net/10863/41508

Files and links (1)

url

https://www.scopus.com/inward/record.uri?eid=2-s2.0-85145911043&partnerID=40&md5=619c6d0fcbdfbf95ee1b12eee443e557View

Title: Computing Unsatisfiable Cores for LTLf Specifications
Creators: M Roveri
C Di Ciccio
C Di Francescomarino
Chiara Ghidini
Publication Details: CEUR Workshop Proceedings, Vol.3310, pp.81-84
Conference: 2022 Workshop on Process Management in the AI Era, PMAI 2022 (Wien)
Series / Volume: 3310
Publisher: CEUR-WS
Number of pages: 4
Identifiers: (UNIBZ)83749250
991006804897501241
Scopus ID: 2-s2.0-85145911043
Academic Unit: Faculty of Engineering
Language: English
Resource Type: Conference proceeding
Author Names String: Roveri M, Di Ciccio C, Di Francescomarino C, Ghidini C
Additional Description: description: Record is part of a bulk validation set

1 Record Views