Deadlock- and Starvation-free Formally Verified Client Library for Robots

Yuuki Takano. Deadlock- and Starvation-free Formally Verified Client Library for Robots. In 7th International Conference on System Reliability and Safety, ICSRS 2023, Bologna, Italy, November 22-24, 2023. pages 488-497, IEEE, 2023. [doi]

Abstract

Abstract is missing.