Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide
variety of applications, many with potential safety hazards. The work presented in this paper …

Mobile and general-purpose robots increasingly support everyday life, requiring
dependable robotics control software. Creating such software mainly amounts to …

Robots artificially replicate human capabilities thanks to their software, the main
embodiment of intelligence. However, engineering robotics software has become …

With many applications across domains as diverse as logistics, healthcare, and agriculture,
service robots are in increasingly high demand. Nevertheless, the designers of these robots …

Sensing, planning, controlling, and reasoning, are human-like capabilities that can be
artificially replicated in an autonomous robot. Such a robot implements data structures and …

Mobile robots are increasingly used in our everyday life to autonomously realize missions. A
variety of languages has been proposed to support roboticists in the systematic …

Robot applications are increasingly based on teams of robots that collaborate to perform a
desired mission. Such applications ask for decentralized techniques that allow for tractable …

Engineering dependable software for mobile robots is becoming increasingly important. A
core asset to engineering mobile robots is the mission specification-a description of the …

Developing robotic applications is a complex task, which requires skills that are usually only
possessed by highly-qualified robotic developers. While formal methods that help …

Synthesis automatically constructs an implementation that satisfies a given logical
specification. In this paper, we study the live synthesis problem, where the synthesized …