Robotic systems are multi-dimensional entities, combining both hardware and software, that
are heavily dependent on, and influenced by, interactions with the real world. They can be …

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 …

During the recent years, there is an increasing demand for software systems that
dynamically adapt their behavior at run-time in response to changes in user preferences …

Guaranteeing safety is crucial for autonomous robotic agents. Formal methods such as
model checking show great potential to provide guarantees on agent and multi-agent …

Developing robotic applications is a complex task that requires skills that are usually
possessed by highly qualified robotic developers. We believe that, while formal methods …

A theoretical framework and associated algorithmic theory is presented for the interlinked
issues of robotic hardware degradations, adaptations and self-reconfiguration of …