Rational CyPhy

Rational CyPhy (RCP) is a company that develops tools and methods to build autonomous systems. It offers V&V engines and has expertise in formal verification, control theory, distributed computing, and machine learning. The company builds tools that are used in autonomous vehicles, aerospace, mobile robotics, and distributed cyber-physical systems.