Relazione in Atti di Convegno: [14972] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.481 a 1.500 di 14.972
Titolo Data di pubblicazione Autore(i) File
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning 1-gen-2021 Losapio, Gianvito; Minutoli, Federico; Mascardi, Viviana; Ferrando, Angelo
Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest 1-gen-2020 Cardoso, R C; Ferrando, A; Papacchini, F
Failure Handling in BDI Plans via Runtime Enforcement 1-gen-2023 Ferrando, Angelo; Cardoso, Rafael C.
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest 1-gen-2021 Cardoso, R. C.; Ferrando, A.; Papacchini, F.; Luckcuck, M.; Linker, S.; Payne, T. R.
RVPLAN: Runtime Verification of Assumptions in Automated Planning 1-gen-2022 Ferrando, Angelo; Cardoso, Rafael C.
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 1-gen-2022 Farrell, M.; Mavrakis, N.; Ferrando, A.; Dixon, C.; Gao, Y.
Incrementally Predictive Runtime Verification 1-gen-2021 Ferrando, Angelo; Delzanno, Giorgio
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond 1-gen-2018 Ferrando, A.
Towards Partial Monitoring: It is Always too Soon to Give Up 1-gen-2021 Ferrando, Angelo; Cardoso, Rafael C.
Computational thinking for beginners: {A} successful experience using Prolog 1-gen-2015 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Global protocols as first class entities for self-adaptive agents 1-gen-2015 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management 1-gen-2019 Zhao, Xingyu; Osborne, Matt; Lantair, Jenny; Robu, Valentin; Flynn, David; Huang, Xiaowei; Fisher, Michael; Papacchini, Fabio; Ferrando, Angelo
Parametric protocol-driven agents and their integration in {JADE} 1-gen-2015 Ferrando, Angelo
An Interface for Programming Verifiable Autonomous Agents in {ROS} 1-gen-2020 Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
Parametric trace expressions for runtime verification of Java-like programs 1-gen-2017 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 1-gen-2016 Aielli, Federica; Ancona, Davide; Caianiello, Pasquale; Costantini, Stefania; De Gasperis, Giovanni; Di Marco, Antinisca; Ferrando, Angelo; Mascardi, Viviana
Heterogeneous Verification of an Autonomous Curiosity Rover 1-gen-2020 Cardoso, Rafael C.; Farrell, Marie; Luckcuck, Matt; Ferrando, Angelo; Fisher, Michael
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information 1-gen-2023 Ferrando, Angelo; Malvone, Vadim
How to Find Good Coalitions to Achieve Strategic Objectives 1-gen-2023 Ferrando, Angelo; Malvone, Vadim
Scalable Verification of Strategy Logic through Three-Valued Abstraction 1-gen-2023 Belardinelli, Francesco; Ferrando, Angelo; Jamroga, Wojciech; Malvone, Vadim; Murano, Aniello
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.481 a 1.500 di 14.972
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

Scopri
Tipologia
  • Atti di CONVEGNO14971
  • Contributo su VOLUME1
Autore
  • CUCCHIARA, Rita447
  • ZAMBONELLI, Franco281
  • SELMI, LUCA228
  • FANTUZZI, Cesare217
  • GUNDUZ, Deniz215
  • FERRARI, Fabrizio212
  • BERGAMASCHI, Sonia203
  • SECCHI, Cristian195
  • LARCHER, Luca186
  • PALESTRI, Pierpaolo176
Data di pubblicazione
  • 2020 - 20262813
  • 2010 - 20195584
  • 2000 - 20094697
  • 1990 - 19991488
  • 1980 - 1989359
  • 1970 - 197930
  • 1967 - 19691
Editore
  • Institute of Electrical and Elect...1325
  • IEEE1012
  • IEEE Computer Society376
  • Springer Science and Business Med...250
  • Springer241
  • -235
  • Springer Verlag205
  • SAE International192
  • CEUR-WS124
  • SPRINGER-VERLAG BERLIN100
Rivista
  • SAE TECHNICAL PAPER202
  • JOURNAL OF PHYSICS. CONFERENCE SE...95
  • ...SUMMER SCHOOL FRANCESCO TURCO....63
  • POS PROCEEDINGS OF SCIENCE41
  • ACTA HORTICULTURAE35
  • ENERGY PROCEDIA29
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE402
  • CEUR WORKSHOP PROCEEDINGS163
  • PROCEEDINGS OF SPIE, THE INTERNAT...160
  • LECTURE NOTES IN ARTIFICIAL INTEL...85
  • LECTURE NOTES IN MECHANICAL ENGIN...80
  • COMMUNICATIONS IN COMPUTER AND IN...72
  • IFAC-PAPERSONLINE69
  • PROCEEDINGS OF THE ANNUAL CONFERE...67
  • IFAC PROCEEDINGS VOLUMES65
  • TECHNICAL DIGEST - INTERNATIONAL ...64
Keyword
  • Electrical and Electronic Enginee...166
  • -160
  • Control and Systems Engineering104
  • Software86
  • Industrial and Manufacturing Engi...85
  • Computer Networks and Communications72
  • Computer Science (all)72
  • Computer Science Applications1707...72
  • CFD67
  • Artificial Intelligence63
Lingua
  • eng11774
  • ita2912
  • fre119
  • ger62
  • spa58
  • por15
  • rus12
  • und8
  • cat5
  • chi2
Accesso al fulltext
  • no fulltext10048
  • reserved2942
  • open1861
  • partially open113
  • embargoed8