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

2019
9781577358091
Satisfiability in Strategy Logic can be Easier than Model Checking / Acar, Erman; Benerecetti, Massimo; Mogavero, Fabio. - (2019). [10.1609/aaai.v33i01.33012638]
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/752130
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 5
social impact