Articles avec mandats d'accès public - Angelo FerrandoEn savoir plus
Non disponibles : 3
ROSMonitoring: a runtime verification framework for ROS
A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ...
Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020 …, 2020
Exigences : UK Research & Innovation
The DigForSim Agent Based Simulator of People Movements in Crime Scenes
A Biagetti, A Ferrando, V Mascardi
Advances in Practical Applications of Agents, Multi-Agent Systems, and …, 2020
Exigences : European Commission
Modeling Robot Control Architectures for Verification and Monitoring
S Bernagozzi, A Ferrando, E Ghiorzi, L Natale, A Tacchella
European Robotics Forum, 191-195, 2024
Exigences : European Commission
Disponibles quelque part : 33
A review of agent-based programming for multi-agent systems
RC Cardoso, A Ferrando
Computers 10 (2), 16, 2021
Exigences : UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Comparing trace expressions and linear temporal logic for runtime verification
D Ancona, A Ferrando, V Mascardi
Theory and practice of formal methods: Essays dedicated to Frank de Boer on …, 2016
Exigences : Government of Italy
An overview of verification and validation challenges for inspection robots
M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...
Robotics 10 (2), 67, 2021
Exigences : UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Engineering multi-agent systems: State of affairs and the road ahead
V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ...
ACM SIGSOFT Software Engineering Notes 44 (1), 18-28, 2019
Exigences : Knut and Alice Wallenberg Foundation, UK Engineering and Physical Sciences …
Global protocols as first class entities for self-adaptive agents
D Ancona, D Briola, A Ferrando, V Mascardi
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
Exigences : Government of Italy
Heterogeneous verification of an autonomous curiosity rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
Exigences : UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Verifying and validating autonomous systems: Towards an integrated approach
A Ferrando, LA Dennis, D Ancona, M Fisher, V Mascardi
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
Exigences : UK Engineering and Physical Sciences Research Council
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
F Belardinelli, A Ferrando, V Malvone
Artificial Intelligence 316, 103847, 2023
Exigences : Agence Nationale de la Recherche
An interface for programming verifiable autonomous agents in ROS
RC Cardoso, A Ferrando, LA Dennis, M Fisher
European Conference on Multi-Agent Systems, 191-205, 2020
Exigences : UK Engineering and Physical Sciences Research Council, UK Research & Innovation
On enactability of agent interaction protocols: Towards a unified approach
A Ferrando, M Winikoff, S Cranefield, F Dignum, V Mascardi
Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019 …, 2020
Exigences : UK Engineering and Physical Sciences Research Council
Recognising assumption violations in autonomous systems verification
A Ferrando, LA Dennis, D Ancona, M Fisher, V Mascardi
Proceedings of the 17th International Conference on Autonomous Agents and …, 2018
Exigences : UK Engineering and Physical Sciences Research Council
Towards integrating formal verification of autonomous robots with battery prognostics and health management
X Zhao, M Osborne, J Lantair, V Robu, D Flynn, X Huang, M Fisher, ...
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
Exigences : UK Engineering and Physical Sciences Research Council
Formal modelling and runtime verification of autonomous grasping for active debris removal
M Farrell, N Mavrakis, A Ferrando, C Dixon, Y Gao
Frontiers in Robotics and AI 8, 639282, 2022
Exigences : UK Engineering and Physical Sciences Research Council, UK Research & Innovation
LFC: combining autonomous agents and automated planning in the multi-agent programming contest
RC Cardoso, A Ferrando, F Papacchini
Multi-Agent Progamming Contest, 31-58, 2019
Exigences : UK Engineering and Physical Sciences Research Council, UK Research & Innovation
Toward a holistic approach to verification and validation of autonomous cognitive systems
A Ferrando, LA Dennis, RC Cardoso, M Fisher, D Ancona, V Mascardi
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (4), 1-43, 2021
Exigences : UK Research & Innovation
Bridging the gap between single-and multi-model predictive runtime verification
A Ferrando, RC Cardoso, M Farrell, M Luckcuck, F Papacchini, M Fisher, ...
Formal Methods in System Design 59 (1), 44-76, 2021
Exigences : UK Research & Innovation
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
D Ancona, D Briola, A Ferrando, V Mascardi
Intelligenza Artificiale 9 (2), 131-148, 2015
Exigences : Government of Italy
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique