Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2020 | |
| Contributo in volume (Capitolo o Saggio) | |
| A Fixed-point Model-checker for BDI Logics over Finite-state Worlds. In Riccardo De Benedictis, Luca Geretti and Andrea Micheli Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020 Pag.47-52 CEUR-WS.org. | |
| LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-85099335502 | |
| Visualizza sul Database dei Prodotti (IRIS) |
