In this paper, we address the question of how to automatically map computational kernels to
highly efficient code for a wide range of computing platforms and establish the correctness of …

Detecting when something unusual has happened could help assistive robots operate more
safely and effectively around people. However, the variability associated with people and …

We need robots more aware of the unintended outcomes of their actions for ensuring safety.
This can be achieved by an onboard failure detection system to monitor and detect such …

Cyber-physical systems (CPSs), ranging from critical infrastructures such as power plants, to
modern (semi) autonomous vehicles, are systems that use software to control physical …

Modeling the effects of actions based on the state of the world enables robots to make
intelligent decisions in different situations. However, it is often infeasible to have globally …

Handling safety is crucial to achieve lifelong autonomy for robots. Unsafe situations might
arise during manipulation in unstructured environments due to noises in sensory feedback …

Making decisions based on accurate models enables robots to exploit domain knowledge to
act intelligently. However, in many realistic domains, it is impossible to have globally …

Execution monitoring is important for the robot to safely interact with its environment, and to
successfully complete the given tasks. This is because several unexpected outcomes that …

Hizmet robotları için gündelik etkileşimlerinde yürütme, sensör veya ortamsal faktörlerden
dolayı emniyetsiz durumlar oluşabilir. Bu tür durumlarda emniyetin sağlanması kritik öneme …

In this paper we introduce High Assurance SPIRAL to solve the last mile problem for the
synthesis of high assurance implementations of controllers for vehicular systems that are …