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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.581 a 1.600 di 15.058
Titolo Data di pubblicazione Autore(i) File
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
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 1-gen-2020 Delzanno, G; Guerrini, G; Mascardi, V; Gelati, L; Petito, V; Vitali, F; Ferrando, A; Ancona, D; Chessa, M; Noceti, N; Odone, F
A deterministic event calculus for effective runtime verification 1-gen-2019 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall 1-gen-2021 Ferrando, Angelo; Malvone, Vadim
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols 1-gen-2016 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
Verifying and validating autonomous systems: Towards an integrated approach 1-gen-2019 Ferrando, A.; Dennis, L. A.; Ancona, D.; Fisher, M.; Mascardi, V.
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 1-gen-2016 Ferrando, Angelo; Beux, Silvio; Mascardi, Viviana; Rosso, Paolo
Increasing confidence in autonomous systems 1-gen-2021 Fisher, Michael; Ferrando, Angelo; Cardoso, Rafael C.
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 1-gen-2020 Biagetti, A; Ferrando, A; Mascardi, V
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 1-gen-2022 Ancona, D.; Ferrando, A.; Mascardi, V.
Recognising assumption violations in autonomous systems verification 1-gen-2018 Ferrando, A.; Dennis, L. A.; Ancona, D.; Fisher, M.; Mascardi, V.
Runtime Verification with Imperfect Information Through Indistinguishability Relations 1-gen-2022 Ferrando, A.; Malvone, V.
Automated Planning and {BDI} Agents: {A} Case Study 1-gen-2021 Cardoso, Rafael C.; Ferrando, Angelo; Papacchini, Fabio
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems 1-gen-2022 Ferrando, A.; Malvone, V.
HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification 1-gen-2023 Ferrando, Angelo; Delzanno, Giorgio
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 1-gen-2019 Ferrando, Angelo; Winikoff, Michael; Cranefield, Stephen; Dignum, Frank; Mascardi, Viviana
Declarative parameterized verification of topology-sensitive distributed protocols 1-gen-2019 Conchon, Sylvain; Delzanno, Giorgio; Ferrando, Angelo
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.581 a 1.600 di 15.058
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 CONVEGNO15057
  • Contributo su VOLUME1
Autore
  • CUCCHIARA, Rita459
  • ZAMBONELLI, Franco281
  • SELMI, LUCA228
  • FANTUZZI, Cesare217
  • GUNDUZ, Deniz215
  • FERRARI, Fabrizio212
  • BERGAMASCHI, Sonia203
  • SECCHI, Cristian195
  • LARCHER, Luca186
  • PALESTRI, Pierpaolo176
Data di pubblicazione
  • 2020 - 20262895
  • 2010 - 20195588
  • 2000 - 20094697
  • 1990 - 19991488
  • 1980 - 1989359
  • 1970 - 197930
  • 1967 - 19691
Editore
  • Institute of Electrical and Elect...1379
  • IEEE1015
  • IEEE Computer Society382
  • Springer Science and Business Med...267
  • Springer245
  • -235
  • Springer Verlag205
  • SAE International200
  • CEUR-WS129
  • SPRINGER-VERLAG BERLIN100
Rivista
  • SAE TECHNICAL PAPER202
  • JOURNAL OF PHYSICS. CONFERENCE SE...97
  • ...SUMMER SCHOOL FRANCESCO TURCO....64
  • POS PROCEEDINGS OF SCIENCE41
  • ACTA HORTICULTURAE35
  • ENERGY PROCEDIA29
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE409
  • CEUR WORKSHOP PROCEEDINGS166
  • PROCEEDINGS OF SPIE, THE INTERNAT...160
  • LECTURE NOTES IN ARTIFICIAL INTEL...85
  • LECTURE NOTES IN MECHANICAL ENGIN...81
  • COMMUNICATIONS IN COMPUTER AND IN...72
  • IFAC-PAPERSONLINE71
  • 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
  • eng11851
  • ita2921
  • fre119
  • ger62
  • spa58
  • por15
  • rus12
  • und8
  • cat5
  • chi2
Accesso al fulltext
  • no fulltext10045
  • reserved2982
  • open1906
  • partially open116
  • embargoed9