FERRANDO, Angelo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.202
EU - Europa 478
AS - Asia 371
SA - Sud America 2
AF - Africa 1
OC - Oceania 1
Totale 2.055
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.201
SG - Singapore 243
FI - Finlandia 114
RU - Federazione Russa 81
IT - Italia 79
SE - Svezia 63
HK - Hong Kong 51
ID - Indonesia 44
DE - Germania 42
LT - Lituania 39
CN - Cina 27
NL - Olanda 22
FR - Francia 16
GB - Regno Unito 8
AT - Austria 4
BG - Bulgaria 4
KR - Corea 4
AR - Argentina 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
AU - Australia 1
CA - Canada 1
CH - Svizzera 1
GR - Grecia 1
IN - India 1
MA - Marocco 1
TR - Turchia 1
Totale 2.055
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.151
Singapore 214
Helsinki 111
Hong Kong 50
Jakarta 43
Moscow 35
Falkenstein 20
Amsterdam 19
Bologna 7
Modena 7
Assago 6
Paris 6
Frankfurt am Main 5
Genoa 5
Milan 5
Naples 5
Munich 4
Reggio Emilia 4
Sofia 4
Espoo 3
Pavullo nel Frignano 3
Shanghai 3
Turin 3
Yuseong-gu 3
Albenga 2
Brandenburg 2
Córdoba 2
Lodi 2
Nanning 2
North Bergen 2
Nuremberg 2
Olomouc 2
Pisa 2
Romola 2
Southwark 2
Swansea 2
Vienna 2
Wandsworth 2
Ashburn 1
Athens 1
Beijing 1
Copenhagen 1
Guangzhou 1
Jiaxing 1
Jinan 1
L’Aquila 1
Medicina 1
Montella 1
Montreal 1
Nanjing 1
North Brunswick 1
Owings 1
Portland 1
Quanzhou 1
Rome 1
Saarbrücken 1
Saint-Etienne 1
Seattle 1
Solingen 1
St Andrews 1
Tiantai Chengguanzhen 1
Wuxi 1
Totale 1.768
Salva come PNG Salva come JPEG
Nome #
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO 42
A deterministic event calculus for effective runtime verification 35
The early bird catches the worm: First verify, then monitor! 34
Integrating Ontologies and Cognitive Conversational Agents in On2Conv 34
Comparing trace expressions and linear temporal logic for runtime verification 33
ROSMonitoring: A Runtime Verification Framework for ROS 31
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020 27
Computational thinking for beginners: {A} successful experience using Prolog 27
Special issue for the 23rd workshop "from objects to agents" (WOA 2022) 27
Bridging the gap between single- and multi-model predictive runtime verification 26
Timed trace expressions 26
Runtime Verification of the {ARIAC} Competition: Can a Robot be Agile and Safe at the same time? 26
Combine Model Checking and Runtime Verification in Multi-Agent Systems 26
Hackmytown: An educational experience on smart cities 25
Smart rogaining for computer science orientation 25
RV4Rasa: {A} Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa 25
Can determinism and compositionality coexist in RML? 25
Special issue: Agents and robots for reliable engineered autonomy 25
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems 24
Towards Partial Monitoring: It is Always too Soon to Give Up 24
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study 24
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education 24
Incrementally predictive runtime verification 24
Decentralizing MAS Monitoring with DecAMon 24
Theory and Practice of Quantitative ATL 24
An Interface for Programming Verifiable Autonomous Agents in {ROS} 24
On enactability of agent interaction protocols: Towards a unified approach 24
Agents interoperability via conformance modulo mapping 23
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information 23
Strategy {RV:} {A} Tool to Approximate {ATL} Model Checking under Imperfect Information and Perfect Recall 23
RV4JaCa - Runtime Verification for Multi-Agent Systems 23
Declarative parameterized verification of topology-sensitive distributed protocols 23
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning 23
An overview of verification and validation challenges for inspection 23
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification 23
Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design 22
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 22
RV4JaCa—Towards Runtime Verification of Multi-Agent Systems and Robotic Applications 22
Coding Maps: A Planetary Journey into Computational Thinking and Digital Skills 22
Smart RogAgent: Where Agents and Humans Team Up 22
Engineering Multi-Agent Systems: State of Affairs and the Road Ahead 22
Incrementally Predictive Runtime Verification 22
Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives 22
Automated Planning and {BDI} Agents: {A} Case Study 22
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems 22
Heterogeneous Verification of an Autonomous Curiosity Rover 22
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain 22
How to Find Good Coalitions to Achieve Strategic Objectives 21
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 21
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives 21
Parametric trace expressions for runtime verification of Java-like programs 21
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker 21
HyperMonitor: {A} Python Prototype for Hyper Predictive Runtime Verification 21
Development planning based on interoperable agent driven simulation 21
Scalable Verification of Strategy Logic through Three-Valued Abstraction 21
RVPLAN: Runtime Verification of Assumptions in Automated Planning 21
Recognising assumption violations in autonomous systems verification 21
Identification of disease symptoms in multilingual sentences: An ontology-driven approach 21
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition 20
Geometric and Spatial Reasoning in {BDI} Agents: {A} Survey 20
Lfc: Combining autonomous agents and automated planning in the multi-agent programming contest 20
Runtime Verification with Imperfect Information Through Indistinguishability Relations 20
Runtime Verification of Hash Code in Mutable Classes 20
Towards partial monitoring: Never too early to give in 20
Safety Shields, an Automated Failure Handling Mechanism for {BDI} Agents 20
Agile Tasking of Robotic Systems with Explicit Autonomy 20
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest 20
Global protocols as first class entities for self-adaptive agents 20
Managing bad AIPs with RIVERtools 20
Hands-on VITAMIN: A Compositional Tool for Model Checking of Multi-Agent Systems 19
Solvent: Liquidity Verification of Smart Contracts 19
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches 19
Simulation of autonomous systems in the extended marine domain 19
Implementing Ethical Governors in {BDI} 19
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach 19
RML: Theory and practice of a domain specific language for runtime verification 19
Verifying and validating autonomous systems: Towards an integrated approach 19
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols 19
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal 19
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps 19
The DigForSim Agent Based Simulator of People Movements in Crime Scenes 19
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management 19
Towards a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems 19
Using a {BDI} Agent to Represent a Human on the Factory Floor of the {ARIAC} 2023 Industrial Automation Competition 19
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study 19
Parametric protocol-driven agents and their integration in {JADE} 19
Parametric Runtime Verification of Multiagent Systems 18
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information 18
{RVPLAN:} a general purpose framework for replanning using runtime verification 18
StreamB: {A} Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms 18
Increasing confidence in autonomous systems 17
Failure Handling in BDI Plans via Runtime Enforcement 17
On Enactability of Agent Interaction Protocols: Towards a Unified Approach 17
RIVERtools: An IDE for RuntIme VERification of MASs, and beyond 16
Resource Action-Based Bounded ATL: A New Logic for MAS to Express a Cost Over the Actions 16
RV4Chatbot: Are Chatbots Allowed to Dream of Electric Sheep? 15
ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics 13
Open Challenges in the Formal Verification of Autonomous Driving 11
Geomorphology and geoheritage in the Piana Crixia Natural Park (NW Italy) 3
Totale 2.154
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.767
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 13.767
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/20251.791 42 30 18 186 818 697 0 0 0 0 0 0
Totale 2.154