Programming robotic systems is often a challenging task requiring advanced skills,
especially when the goal is to ensure loosely-coupled coordination in heterogeneous Multi …

Abstract Service robots are increasingly being used to perform missions comprising
dangerous or tedious tasks previously executed by humans. However, their users—who …

Current practice in simulation and implementation of robot controllers is usually undertaken
with guidance from high-level design diagrams and pseudocode. Thus, no rigorous …

Software development for robotics applications is still a major challenge that becomes even
more complex when considering multi-robot systems (MRSs). Such distributed software has …

Software development for robotics applications is still a major challenge that becomes even
more complex when considering a Multi-Robot System (MRS). Such a distributed software …

Physics-based simulations are essential for designing autonomous construction equipment,
but preparing models is time-consuming, requiring the integration of mechanical and …

We present a new approach for synthesising Paretooptimal Markov decision process (MDP)
policies that satisfy complex combinations of quality-of-service (QoS) software requirements …

Multi-robot systems are increasingly deployed to provide services and accomplish missions
whose complexity or cost is too high for a single robot to achieve on its own. Although multi …

Multi-robot teams can be very useful in a wide variety of search and rescue missions in
challenging environments. In a mission with considerable uncertainty due to intermittent …

Tree-based model editors and hybrid graphical-textual model editors have advantages and
limitations when editing domain models. Data is displayed hierarchically in tree-based …