Formal Specification of Robotic Architectures for Experimental Robotics

Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus. Formal Specification of Robotic Architectures for Experimental Robotics. In Fabio Bonsignorio, Elena Messina, Angel P. Del Pobil, John Hallam, editors, Metrics of Sensory Motor Coordination and Integration in Robots and Animals - How to Measure the Success of Bioinspired Solutions with Respect to their Natural Models, and Against More 'Artificial' Solutions?. Volume 36 of Cognitive Systems Monographs, pages 15-37, Springer, 2020. [doi]

Abstract

Abstract is missing.