Intelligent and autonomous agents is a subarea of symbolic artificial intelligence where
these agents decide, either reactively or proactively, upon a course of action by reasoning …

The advent of sophisticated robotics and AI technology makes sending humans into
hazardous and distant environments to carry out inspections increasingly avoidable. Being …

Abstract Cyber–Physical Systems (CPSs) are complex and heterogeneous systems.
Interacting with the physical world makes CPS unpredictable because of unanticipated …

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS)
using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This is …

The Robot Operating System (ROS) is a widely used framework for building robotic systems.
It offers a wide variety of reusable packages and a pattern for new developments. It is up to …

When applying formal verification to a system that interacts with the real world, we must use
a model of the environment. This model represents an abstraction of the actual environment …

Autonomous systems developed with the Belief-Desire-Intention (BDI) architecture tend to
be mostly implemented in simulated environments. In this project we sought to build a BDI …

We present an extension of the semantics for action execution in the Gwendolen BDI
programming language. This extension firstly explicitly assumes that actions have durations …

Safety is one of the crucial features of autonomous systems. Safe decision-making is a
critical and challenging task in developing such systems. To address this challenge, we …

The integration of ROS (Robot Operating System) and Gazebo as a simulator is becoming
increasingly vital in the field of robotic system design and development. Like any complex …