Angelo Ferrando

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Towards the Combination of Model Checking and Runtime Verification on Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022

Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

RVPLAN: Runtime Verification of Assumptions in Automated Planning.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Higher Education Learning Methodologies and Technologies Online, 2022

Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 19th European Conference, 2022

Exploiting Probabilistic Trace Expressions for Decentralized Runtime Verification with Gaps.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Safety Shields, an Automated Failure Handling Mechanism for BDI Agents.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

2021

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2021

RML: Theory and practice of a domain specific language for runtime verification.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

An Overview of Verification and Validation Challenges for Inspection Robots.

[BibT_eX]

[DOI]

Robotics, 2021

Special Issue: Agents and Robots for Reliable Engineered Autonomy.

[BibT_eX]

[DOI]

J. Sens. Actuator Networks, 2021

Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020.

[BibT_eX]

[DOI]

J. Sens. Actuator Networks, 2021

Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker.

[BibT_eX]

[DOI]

Sylvain Conchon

Giorgio Delzanno

Fundam. Informaticae, 2021

Bridging the gap between single- and multi-model predictive runtime verification.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2021

Towards Partial Monitoring: It is Always too Soon to Give Up.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.

[BibT_eX]

[DOI]

CoRR, 2021

A Review of Agent-Based Programming for Multi-Agent Systems.

[BibT_eX]

[DOI]

Comput., 2021

Smart Balancing of E-scooter Sharing Systems via Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Automated Planning and BDI Agents: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

RVPLAN: a general purpose framework for replanning using runtime verification.

[BibT_eX]

[DOI]

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

Increasing confidence in autonomous systems.

[BibT_eX]

[DOI]

Michael Fisher

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

Combine Model Checking and Runtime Verification in Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

Agile Tasking of Robotic Systems with Explicit Autonomy.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Implementing Ethical Governors in BDI.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Can determinism and compositionality coexist in RML?

[BibT_eX]

[DOI]

Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020

Can determinism and compositionality coexist in RML? (extended version).

[BibT_eX]

[DOI]

CoRR, 2020

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.

[BibT_eX]

[DOI]

CoRR, 2020

Slow Rogaining: An Innovative Teamwork Model for Computer Science Education.

[BibT_eX]

[DOI]

Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020

ROSMonitoring: A Runtime Verification Framework for ROS.

[BibT_eX]

[DOI]

Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020

The DigForSim Agent Based Simulator of People Movements in Crime Scenes.

[BibT_eX]

[DOI]

Alessandro Biagetti

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection, 2020

Heterogeneous Verification of an Autonomous Curiosity Rover.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

An Interface for Programming Verifiable Autonomous Agents in ROS.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?

[BibT_eX]

[DOI]

Proceedings of the 7th Italian Workshop on Artificial Intelligence and Robotics co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020

2019

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.

[BibT_eX]

[DOI]

The Multi-Agent Programming Contest, 2019

An Unexpected Journey: Towards Runtime Verification of Multiagent Systems and Beyond.

[BibT_eX]

[DOI]

PhD thesis, 2019

The early bird catches the worm: First verify, then monitor!

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

On the Enactability of Agent Interaction Protocols: Toward a Unified Approach.

[BibT_eX]

[DOI]

CoRR, 2019

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Smart RogAgent: Where Agents and Humans Team Up.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

A Deterministic Event Calculus for Effective Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

On Enactability of Agent Interaction Protocols: Towards a Unified Approach.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Timed Trace Expressions.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

2018

Improving flexibility and dependability of remote patient monitoring with agent-oriented approaches.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2018

Agents Interoperability via Conformance Modulo Mapping.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop "From Objects to Agents", 2018

Verifying and Validating Autonomous Systems: Towards an Integrated Approach.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

Managing Bad AIPs with RIVERtools.

[BibT_eX]

[DOI]

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols.

[BibT_eX]

[DOI]

Sylvain Conchon

Giorgio Delzanno

Proceedings of the Networked Systems - 6th International Conference, 2018

Recognising Assumption Violations in Autonomous Systems Verification.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Hackmytown: an Educational Experience on Smart Cities.

[BibT_eX]

[DOI]

IxD&A, 2017

Parametric Trace Expressions for Runtime Verification of Java-Like Programs.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

Decentralizing MAS Monitoring with DecAMon.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Parametric Runtime Verification of Multiagent Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Simulation of autonomous systems in the extended marine domain.

[BibT_eX]

[DOI]

Alberto Tremori

Matteo Agresta

Int. J. Simul. Process. Model., 2016

MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols.

[BibT_eX]

[DOI]

Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

FRIENDLY & KIND with your Health: Human-Friendly Knowledge-INtensive Dynamic Systems for the e-Health Domain.

[BibT_eX]

[DOI]

Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016

Identification of Disease Symptoms in Multilingual Sentences: An Ontology-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Modeling, 2016

Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification.

[BibT_eX]

[DOI]