ROSMonitoring

MaRDI QIDQ1334394swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-030-63486-5_40

Source code repository https://github.com/autonomy-and-verification-uol/ROSMonitoring

Cited in

(9)

• KeY-C
• Marathon 2
• HyperTensioN
• Verification of the ROS NavFn planner using executable specification languages
• ROS
• Resilience, reliability, and coordination in autonomous multi-agent systems
• Verifiable autonomy: From theory to applications
• TeSSLa
• CRADLE

This page was built for software: ROSMonitoring