While there is evidence of substantial improvement in efficiency and cost reduction from the
integration of Robotics, Artificial Intelligence, and Drones (RAID) in solar installations; it is …

Neurosymbolic artificial intelligence (AI) is an emerging branch of AI that combines the
strengths of symbolic AI and subsymbolic AI. Symbolic AI is based on the idea that …

Abstract can-verify is an automated tool that aids the development, verification, and analysis
of BDI agents written in the Conceptual Agent Notation (Can) language. It does not require …

Active debris removal in space has become a necessary activity to maintain and facilitate
orbital operations. Current approaches tend to adopt autonomous robotic systems which are …

This work focuses on identifying the applications, critical challenges and future opportunities
of autonomous unmanned aerial vehicles (UAV) in solar photovoltaics (PV) inspection. This …

The automotive industry is increasingly dependent on computing systems with different
critical requirements. The verification and validation methods for these systems are now …

In this paper, we show how model checking can be used to create multi-step plans for a
differential drive wheeled robot so that it can avoid immediate danger. Using a small …

During mission design, the concept of operations (ConOps) describes how the system
operates during various life cycle phases to meet stakeholder expectations. ConOps is …

Mobile robots are used to support planetary exploration and safety-critical environments
such as nuclear plants. Central to the development of mobile robots is the specification of …