Satisfiability in Strategy Logic can be Easier than Model Checking / Acar, Erman; Benerecetti, Massimo; Mogavero, Fabio. - (2019). [10.1609/aaai.v33i01.33012638]
Satisfiability in Strategy Logic can be Easier than Model Checking
Massimo Benerecetti
;Fabio Mogavero
2019
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
abm(aaai19).pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
325.01 kB
Formato
Adobe PDF
|
325.01 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.