Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAngelo Ferrando 0001
Person information
- affiliation: University of Genova, Italy
Other persons with the same name
- Angelo Ferrando 0002
![[0000-0002-5520-556X]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-5520-556X")
— Versalis (ENI) S.p.A., Mantova, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j21]Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. Artif. Intell. 316: 103847 (2023)- [j20]Angelo Ferrando, Viviana Mascardi:
Special issue for the 23rd workshop "from objects to agents" (WOA 2022). Intelligenza Artificiale 17(1): 3-5 (2023) - [j19]Angelo Ferrando, Giorgio Delzanno:
Incrementally predictive runtime verification. J. Log. Comput. 33(4): 796-817 (2023) - [j18]Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications. Robotics 12(2): 49 (2023) - [c67]Angelo Ferrando, Vadim Malvone:
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. AAMAS 2023: 793-801 - [c66]Angelo Ferrando, Rafael C. Cardoso:
Failure Handling in BDI Plans via Runtime Enforcement. ECAI 2023: 716-723 - [c65]Zeinab Namakizadeh Esfahani, Débora Cristina Engelmann, Angelo Ferrando, Massimiliano Margarone, Viviana Mascardi:
Integrating Ontologies and Cognitive Conversational Agents in On2Conv. EUMAS 2023: 66-82 - [c64]Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher:
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS 2023: 214-227 - [c63]Mahyar Sadeghi Garjan, Tommy Chaanine, Cecilia Pasquale, Vito Paolo Pastore, Angelo Ferrando:
AGAMAS: A New Agent-Oriented Traffic Simulation Framework for SUMO. EUMAS 2023: 396-405 - [c62]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Runtime Verification of Hash Code in Mutable Classes. FTfJP@ECOOP 2023: 25-31 - [c61]Angelo Ferrando, Vadim Malvone:
How to Find Good Coalitions to Achieve Strategic Objectives. ICAART (1) 2023: 105-113 - [c60]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-Valued Abstraction. IJCAI 2023: 46-54 - [c59]Angelo Ferrando, Giorgio Delzanno:
HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. RP 2023: 171-182 - [c58]Angelo Ferrando, Andrea Gatti, Viviana Mascardi:
RV4Rasa: A Formalism-Agnostic Runtime Verification Framework for Verifying ChatBots in Rasa. VORTEX@ISSTA 2023: 1-8 - [c57]Robert Abela, Christian Colombo, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando:
Runtime Verification for Trustworthy Computing. AREA@ECAI 2023: 49-62 - [p2]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. Prolog: The Next 50 Years 2023: 300-317 - [e4]Angelo Ferrando, Rafael Cardoso:
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023. EPTCS 391, 2023 [contents] - [i12]Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga, Vadim Malvone, Aniello Murano:
Scalable Verification of Strategy Logic through Three-valued Abstraction. CoRR abs/2310.17219 (2023) - [i11]Francesco Belardinelli, Angelo Ferrando, Vadim Malvone:
3vLTL: A Tool to Generate Automata for Three-valued LTL. CoRR abs/2311.09787 (2023) - 2022
- [j17]Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando:
Smart balancing of E-scooter sharing systems via deep reinforcement learning: a preliminary study. Intelligenza Artificiale 16(1): 49-67 (2022) - [c56]Angelo Ferrando, Vadim Malvone:
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA 2022 - [c55]Angelo Ferrando, Rafael C. Cardoso:
Safety Shields, an Automated Failure Handling Mechanism for BDI Agents. AAMAS 2022: 1589-1591 - [c54]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps. CILC 2022: 154-170 - [c53]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. EUMAS 2022: 22-40 - [c52]Giorgio Delzanno, Angelo Ferrando, Giovanna Guerrini, Matteo Pusceddu, Giovanni Zanone:
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. HELMeTO 2022: 497-508 - [c51]Angelo Ferrando, Rafael C. Cardoso:
RVPLAN: Runtime Verification of Assumptions in Automated Planning. ICAART (2) 2022: 67-77 - [c50]Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao:
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. IFM 2022: 39-44 - [c49]Angelo Ferrando, Vadim Malvone:
Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems. PAAMS 2022: 140-152 - [c48]Angelo Ferrando, Vadim Malvone:
Runtime Verification with Imperfect Information Through Indistinguishability Relations. SEFM 2022: 335-351 - [c47]Débora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi:
RV4JaCa - Runtime Verification for Multi-Agent Systems. AREA@IJCAI-ECAI 2022: 23-36 - [c46]Rafael C. Cardoso, Angelo Ferrando, Michael Fisher:
Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM 2022: 193-207 - [e3]Angelo Ferrando, Viviana Mascardi:
Proceedings of the 23rd Workshop "From Objects to Agents", Genova, Italy, September 1-3, 2022. CEUR Workshop Proceedings 3261, CEUR-WS.org 2022 [contents] - [e2]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis:
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. EPTCS 362, 2022 [contents] - [i10]Angelo Ferrando, Vadim Malvone:
Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems. CoRR abs/2202.09344 (2022) - [i9]Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
A Compositional Approach to Verifying Modular Robotic Systems. CoRR abs/2208.05507 (2022) - [i8]Luca Ciccone, Francesco Dagnino, Angelo Ferrando:
Ain't No Stopping Us Monitoring Now. CoRR abs/2211.11544 (2022) - 2021
- [j16]Rafael C. Cardoso, Angelo Ferrando:
A Review of Agent-Based Programming for Multi-Agent Systems. Comput. 10(2): 16 (2021) - [j15]Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao:
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Frontiers Robotics AI 8: 639282 (2021) - [j14]Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi:
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59(1): 44-76 (2021) - [j13]Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando:
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. Fundam. Informaticae 178(4): 347-378 (2021) - [j12]Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht:
Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. J. Sens. Actuator Networks 10(2): 33 (2021) - [j11]Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht:
Special Issue: Agents and Robots for Reliable Engineered Autonomy. J. Sens. Actuator Networks 10(3): 47 (2021) - [j10]Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster:
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10(2): 67 (2021) - [j9]Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
RML: Theory and practice of a domain specific language for runtime verification. Sci. Comput. Program. 205: 102610 (2021) - [j8]Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi:
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30(4): 43:1-43:43 (2021) - [c45]Angelo Ferrando, Vadim Malvone:
Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall. AAMAS 2021: 1764-1766 - [c44]Angelo Ferrando, Giorgio Delzanno:
Incrementally Predictive Runtime Verification. CILC 2021: 92-106 - [c43]Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Implementing Ethical Governors in BDI. EMAS@AAMAS 2021: 22-41 - [c42]Angelo Ferrando, Fabio Papacchini:
StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. EMAS@AAMAS 2021: 114-136 - [c41]Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS 2021 - [c40]Angelo Ferrando, Vadim Malvone:
Combine Model Checking and Runtime Verification in Multi-Agent Systems. ICTCS 2021: 302-310 - [c39]Michael Fisher, Angelo Ferrando, Rafael C. Cardoso:
Increasing confidence in autonomous systems. VORTEX@ISSTA 2021: 1-4 - [c38]Angelo Ferrando, Rafael C. Cardoso:
RVPLAN: a general purpose framework for replanning using runtime verification. VORTEX@ISSTA 2021: 22-25 - [c37]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini:
Automated Planning and BDI Agents: A Case Study. PAAMS 2021: 52-63 - [c36]Gianvito Losapio, Federico Minutoli, Viviana Mascardi, Angelo Ferrando:
Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning. WOA 2021: 83-97 - [c35]Angelo Ferrando, Rafael C. Cardoso:
Towards Partial Monitoring: It is Always too Soon to Give Up. FMAS 2021: 38-53 - [i7]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne:
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR abs/2110.08172 (2021) - [i6]Angelo Ferrando, Vadim Malvone:
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information. CoRR abs/2112.13621 (2021) - 2020
- [c34]Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher:
Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? AIRO@AI*IA 2020: 7-11 - [c33]Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT 2020: 191-205 - [c32]Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM 2020: 353-360 - [c31]Alessandro Biagetti, Angelo Ferrando, Viviana Mascardi:
The DigForSim Agent Based Simulator of People Movements in Crime Scenes. PAAMS 2020: 42-54 - [c30]Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi:
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS 2020: 387-399 - [c29]Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone:
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) 2020: 119-126 - [c28]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? EXPRESS/SOS 2020: 13-32 - [e1]Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht:
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. EPTCS 319, 2020 [contents] - [i5]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini:
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. CoRR abs/2006.02736 (2020) - [i4]Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR abs/2007.10045 (2020) - [i3]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? (extended version). CoRR abs/2008.06453 (2020)
2010 – 2019
- 2019
- [b1]Angelo Ferrando:
An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond. University of Genoa, Italy, 2019 - [j7]Angelo Ferrando:
The early bird catches the worm: First verify, then monitor! Sci. Comput. Program. 172: 160-179 (2019) - [c27]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. AAMAS 2019: 1955-1957 - [c26]Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Timed Trace Expressions. CILC 2019: 229-241 - [c25]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On Enactability of Agent Interaction Protocols: Towards a Unified Approach. EMAS@AAMAS 2019: 43-64 - [c24]Davide Ancona, Luca Franceschini, Angelo Ferrando, Viviana Mascardi:
A Deterministic Event Calculus for Effective Runtime Verification. ICTCS 2019: 248-260 - [c23]Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini:
Smart RogAgent: Where Agents and Humans Team Up. PRIMA 2019: 541-549 - [c22]Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. SEFM 2019: 105-124 - [p1]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini:
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. The Multi-Agent Programming Contest 2019: 31-58 - [i2]Angelo Ferrando, Michael Winikoff, Stephen Cranefield, Frank Dignum, Viviana Mascardi:
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach. CoRR abs/1902.01131 (2019) - [i1]Xingyu Zhao, Matthew Osborne, Jenny Lantair, Valentin Robu, David Flynn, Xiaowei Huang, Michael Fisher, Fabio Papacchini, Angelo Ferrando:
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. CoRR abs/1909.03019 (2019) - 2018
- [j6]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches. Int. J. Agent Oriented Softw. Eng. 6(3/4): 402-442 (2018) - [c21]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Recognising Assumption Violations in Autonomous Systems Verification. AAMAS 2018: 1933-1935 - [c20]Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando:
Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. NETYS 2018: 209-224 - [c19]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems. PAAMS 2018: 59-71 - [c18]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Managing Bad AIPs with RIVERtools. PAAMS 2018: 296-300 - [c17]Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher, Viviana Mascardi:
Verifying and Validating Autonomous Systems: Towards an Integrated Approach. RV 2018: 263-281 - [c16]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Agents Interoperability via Conformance Modulo Mapping. WOA 2018: 109-115 - 2017
- [j5]Vincenzo Del Fatto, Gabriella Dodero, Armin Bernhard, Angelo Ferrando, Davide Ancona, Viviana Mascardi, Robert Laurini, Giuseppe Roccasalva:
Hackmytown: an Educational Experience on Smart Cities. IxD&A 32: 153-164 (2017) - [c15]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Decentralizing MAS Monitoring with DecAMon. AAMAS 2017: 239-248 - [c14]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Parametric Runtime Verification of Multiagent Systems. AAMAS 2017: 1457-1459 - [c13]Davide Ancona, Angelo Ferrando, Luca Franceschini, Viviana Mascardi:
Parametric Trace Expressions for Runtime Verification of Java-Like Programs. FTfJP@ECOOP 2017: 10:1-10:6 - 2016
- [j4]Alberto Tremori, Matteo Agresta, Angelo Ferrando:
Simulation of autonomous systems in the extended marine domain. Int. J. Simul. Process. Model. 11(1): 9-23 (2016) - [c12]Angelo Ferrando:
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification. DC@AI*IA 2016: 40-45 - [c11]Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study. EMAS@AAMAS 2016: 39-58 - [c10]Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. Theory and Practice of Formal Methods 2016: 47-64 - [c9]Angelo Ferrando, Silvio Beux, Viviana Mascardi, Paolo Rosso:
Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach. MultiLingMine@ECIR 2016: 6-15 - [c8]Federica Aielli, Davide Ancona, Pasquale Caianiello, Stefania Costantini, Giovanni De Gasperis, Antinisca Di Marco, Angelo Ferrando, Viviana Mascardi:
FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain. PAAMS (Workshops) 2016: 15-26 - [c7]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA 2016: 35-43 - 2015
- [j3]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9(2): 131-148 (2015) - [c6]Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi:
Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS 2015: 1019-1029 - [c5]Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella:
Computational thinking for beginners: A successful experience using Prolog. CILC 2015: 31-45 - [c4]Angelo Ferrando:
Parametric protocol-driven agents and their integration in JADE. CILC 2015: 72-84 - 2014
- [j2]Marina Massei, Simonluca Poggi, Alberto Tremori, Angelo Ferrando:
Innovative models for supporting operational planning. Int. J. Simul. Process. Model. 9(3): 181-194 (2014) - [j1]Marina Massei, Simonluca Poggi, Matteo Agresta, Angelo Ferrando:
Development planning based on interoperable agent driven simulation. J. Comput. Sci. 5(3): 395-407 (2014) - [c3]Agostino G. Bruzzone, Luciano Dato, Angelo Ferrando:
Simulation Exploration Experience: Providing Effective Surveillance and Defense for a Moon Base Against Threats from Outer Space. DS-RT 2014: 121-126 - 2013
- [c2]Agostino G. Bruzzone, Marina Massei, Simonluca Poggi, Christian Bartolucci, Angelo Ferrando:
Intelligent Agents for Human Behavior Modeling as Support to Operations. SIMULTECH (Selected Papers) 2013: 119-132 - [c1]Agostino G. Bruzzone, Francesca Madeo, Margherita Dallorto, Davide Poggi, Angelo Ferrando:
Different modeling and simulation approaches applied to industrial process plants. SpringSim (EAIA) 2013: 6
Coauthor Index