A Unified Automata-Theoretic Approach to LTLf Modulo Theories / Faella, Marco; Parlato, Gennaro. - 392:(2024). (Intervento presentato al convegno ECAI 2024 - 27th European Conference on Artificial Intelligence tenutosi a Santiago de Compostela, Spagna) [10.3233/faia240622].

A Unified Automata-Theoretic Approach to LTLf Modulo Theories

Faella, Marco
;
2024

2024
9781643685489
A Unified Automata-Theoretic Approach to LTLf Modulo Theories / Faella, Marco; Parlato, Gennaro. - 392:(2024). (Intervento presentato al convegno ECAI 2024 - 27th European Conference on Artificial Intelligence tenutosi a Santiago de Compostela, Spagna) [10.3233/faia240622].
File in questo prodotto:
File Dimensione Formato  
ecai24.pdf

solo utenti autorizzati

Licenza: Non specificato
Dimensione 305.59 kB
Formato Adobe PDF
305.59 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/988995
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact