The success of the human-robot co-worker team in a flexible manufacturing environment
where robots learn from demonstration heavily relies on the correct and safe operation of the …

Simulation has been a necessary, safe testbed for robotics systems (RS). However, testing
in simulation alone is not enough for robotic systems operating in close proximity, or …

New markets for personalized and efficient transport are creating a need for on-demand
mobility services. To rigorously analyse new control mechanisms for these services, we …

Development of complex multi-robot systems requires time-consuming and expensive
testing and, especially in a case of unmanned aerial systems, it aggregates risk of hardware …

In this paper we introduce a modular architecture for command & control (C2) of
heterogeneous teams of autonomous Unmanned Aerial Vehicles (UAVs) that allows for …

Verification of the correct functionality of multi-vehicle systems in high-fidelity scenarios is
required before any deployment of such a complex system, eg, in missions of remote …

Widespread adoption of smartphones and ubiquitous internet connectivity gives rise to new
markets for personalized and efficient on-demand mobility services. To rigorously analyze …

Developing complex robotic systems requires expensive and time-consuming verification
and testing which, especially in a case of multi-robot unmanned aerial systems (UASs) …

The impressive development of technologies is reducing the gulf between the physical and
the digital matter, reality and virtuality. Mirror worlds (MW) are agent-based systems that live …

Market mechanisms are now playing a key role in the allocation and pricing of on-demand
transportation services. In practice, most such services use posted-price mechanisms, where …