FERRANDO, Angelo

FERRANDO, Angelo  

Dipartimento di Scienze Fisiche, Informatiche e Matematiche  

Mostra records
Risultati 1 - 20 di 124 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autore(i) File
A deterministic event calculus for effective runtime verification 1-gen-2019 Ancona, D.; Franceschini, L.; Ferrando, A.; Mascardi, V.
A review of agent-based programming for multi-agent systems 1-gen-2021 Cardoso, R. C.; Ferrando, A.
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO 1-gen-2023 Sadeghi Garjan, Mahyar; Chaanine, Tommy; Pasquale, Cecilia; Paolo Pastore, Vito; Ferrando, Angelo
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 1-gen-2021 Cardoso, R. C.; Ferrando, A.; Briola, D.; Menghi, C.; Ahlbrecht, T.
Agents interoperability via conformance modulo mapping 1-gen-2018 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Agile Tasking of Robotic Systems with Explicit Autonomy 1-gen-2021 Cardoso, Rafael C.; Michaloski, John L.; Schlenoff, Craig; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
Agreement Games in Multi-Agent Systems 1-gen-2025 Catta, Davide; Ferrando, Angelo; Malvone, Vadim
Ain’t No Stopping Us Monitoring Now 1-gen-2025 Ciccone, Luca; Dagnino, Francesco; Ferrando, Angelo
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information 1-gen-2023 Belardinelli, F.; Ferrando, A.; Malvone, V.
An Interface for Programming Verifiable Autonomous Agents in {ROS} 1-gen-2020 Cardoso, Rafael C.; Ferrando, Angelo; Dennis, Louise A.; Fisher, Michael
An overview of verification and validation challenges for inspection 1-gen-2021 Fisher, R. M.; Cardoso, R. C.; Collins, E. C.; Dadswell, C.; Dennis, L. A.; Dixon, C.; Farrell, M.; Ferrando, A.; Huang, X.; Jump, M.; Kourtis, G.; Lisitsa, A.; Luckcuck, M.; Luo, S.; Page, V.; Papacchini, F.; Webster, M.
Automated Planning and {BDI} Agents: {A} Case Study 1-gen-2021 Cardoso, Rafael C.; Ferrando, Angelo; Papacchini, Fabio
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification 1-gen-2016 Ferrando, Angelo
Bridging the gap between single- and multi-model predictive runtime verification 1-gen-2021 Ferrando, Angelo; Cardoso, Rafael C.; Farrell, Marie; Luckcuck, Matt; Papacchini, Fabio; Fisher, Michael; Mascardi, Viviana
Can determinism and compositionality coexist in RML? 1-gen-2020 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
ChatBDI: Think BDI, Talk LLM 1-gen-2025 Gatti, Andrea; Mascardi, Viviana; Ferrando, Angelo
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives 1-gen-2024 Catta, D.; Ferrando, A.; Malvone, V.
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills 1-gen-2022 Delzanno, Giorgio; Guerrini, Giovanna; Pusceddu, Matteo; Zanone, Giovanni; Ferrando, Angelo
Combine Model Checking and Runtime Verification in Multi-Agent Systems 1-gen-2021 Ferrando, Angelo; Malvone, Vadim
Comparing trace expressions and linear temporal logic for runtime verification 1-gen-2016 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana