FERRANDO, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 159
AS - Asia 134
NA - Nord America 26
OC - Oceania 1
Totale 320
Salva come PNG Salva come JPEG
Nazione #
HK - Hong Kong 47
SG - Singapore 43
LT - Lituania 39
IT - Italia 33
US - Stati Uniti d'America 25
FI - Finlandia 24
CN - Cina 23
SE - Svezia 21
ID - Indonesia 20
FR - Francia 13
DE - Germania 11
NL - Olanda 8
GB - Regno Unito 6
BG - Bulgaria 2
CZ - Repubblica Ceca 2
AU - Australia 1
CA - Canada 1
KR - Corea 1
Totale 320
Salva come PNG Salva come JPEG
Città #
Hong Kong 46
Helsinki 24
Singapore 24
Jakarta 20
Amsterdam 8
Bologna 7
Assago 6
Frankfurt am Main 5
Paris 3
Pavullo nel Frignano 3
Shanghai 3
Albenga 2
Brandenburg 2
Genoa 2
Milan 2
North Bergen 2
Olomouc 2
Sofia 2
Southwark 2
Turin 2
Wandsworth 2
Beijing 1
Guangzhou 1
Jiaxing 1
Jinan 1
Medicina 1
Montreal 1
Nanjing 1
Naples 1
Nuremberg 1
Portland 1
Quanzhou 1
Reggio Emilia 1
Rome 1
Saint-Etienne 1
Seattle 1
Solingen 1
St Andrews 1
Tiantai Chengguanzhen 1
Wuxi 1
Totale 188
Salva come PNG Salva come JPEG
Nome #
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO 23
The early bird catches the worm: First verify, then monitor! 17
Comparing trace expressions and linear temporal logic for runtime verification 15
Integrating Ontologies and Cognitive Conversational Agents in On2Conv 10
Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile and Safe at the same time? 9
Special issue for the 23rd workshop "from objects to agents" (WOA 2022) 9
A deterministic event calculus for effective runtime verification 8
Bridging the gap between single- and multi-model predictive runtime verification 7
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 7
Timed trace expressions 7
Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall 7
Computational thinking for beginners: {A} successful experience using Prolog 7
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study 7
Special issue: Agents and robots for reliable engineered autonomy 7
On enactability of agent interaction protocols: Towards a unified approach 7
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 7
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems 6
Scalable Verification of Strategy Logic through Three-Valued Abstraction 6
Managing bad AIPs with RIVERtools 6
Combine Model Checking and Runtime Verification in Multi-Agent Systems 6
Recognising assumption violations in autonomous systems verification 6
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 6
Hackmytown: An educational experience on smart cities 5
ROSMonitoring: A Runtime Verification Framework for ROS 5
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives 5
Declarative parameterized verification of topology-sensitive distributed protocols 5
Parametric trace expressions for runtime verification of Java-like programs 5
Can determinism and compositionality coexist in RML? 5
Decentralizing MAS Monitoring with DecAMon 5
RVPLAN: Runtime Verification of Assumptions in Automated Planning 5
Heterogeneous Verification of an Autonomous Curiosity Rover 5
An Interface for Programming Verifiable Autonomous Agents in {ROS} 5
Agents interoperability via conformance modulo mapping 4
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information 4
How to Find Good Coalitions to Achieve Strategic Objectives 4
Towards Partial Monitoring: It is Always too Soon to Give Up 4
RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa 4
Smart RogAgent: Where Agents and Humans Team Up 4
Runtime Verification of Hash Code in Mutable Classes 4
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 4
Safety Shields, an Automated Failure Handling Mechanism for {BDI} Agents 4
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management 4
Automated Planning and {BDI} Agents: {A} Case Study 4
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information 4
Global protocols as first class entities for self-adaptive agents 4
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 4
StreamB: {A} Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms 4
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 3
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications 3
RV4JaCa - Runtime Verification for Multi-Agent Systems 3
Smart rogaining for computer science orientation 3
Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest 3
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches 3
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker 3
Implementing Ethical Governors in {BDI} 3
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 3
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills 3
RML: Theory and practice of a domain specific language for runtime verification 3
Verifying and validating autonomous systems: Towards an integrated approach 3
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols 3
Incrementally Predictive Runtime Verification 3
An overview of verification and validation challenges for inspection 3
Incrementally predictive runtime verification 3
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 3
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 3
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 3
HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification 3
Agile Tasking of Robotic Systems with Explicit Autonomy 3
Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 3
Using a {BDI} Agent to Represent a Human on the Factory Floor of the {ARIAC} 2023 Industrial Automation Competition 3
Development planning based on interoperable agent driven simulation 3
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest 3
{RVPLAN:} a general purpose framework for replanning using runtime verification 3
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design 2
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 2
Hands-on {VITAMIN:} {A} Compositional Tool for Model Checking of Multi-Agent Systems 2
Geometric and Spatial Reasoning in {BDI} Agents: {A} Survey 2
Increasing confidence in autonomous systems 2
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond 2
Simulation of autonomous systems in the extended marine domain 2
Runtime Verification with Imperfect Information Through Indistinguishability Relations 2
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead 2
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning 2
Parametric Runtime Verification of Multiagent Systems 2
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification 2
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 2
Parametric protocol-driven agents and their integration in {JADE} 2
Failure Handling in BDI Plans via Runtime Enforcement 2
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 1
Totale 409
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.140
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 7.140
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/2024363 0 0 0 0 0 0 0 147 18 44 72 82
2024/202546 42 4 0 0 0 0 0 0 0 0 0 0
Totale 409