Sfoglia per Serie  ICAART

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 1 a 3 di 3
Titolo Data di pubblicazione Autore(i) File
RVPLAN: Runtime Verification of Assumptions in Automated Planning 1-gen-2022 Ferrando, Angelo; Cardoso, Rafael C.
Together Is Better! Integrating BDI and RL Agents for Safe Learning and Effective Collaboration 1-gen-2025 Parmiggiani, M.; Ferrando, A.; Mascardi, V.
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems 1-gen-2025 Ferrando, A.; Malvone, V.
Mostrati risultati da 1 a 3 di 3
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile