612 followers
RT @AandVNetwork: The tutorial will describe the ROSMonitoring Tool (https://t.co/w52lV5Znth) which enables #RuntimeVerification for ROS sy…
RT @AandVNetwork: The tutorial will describe the ROSMonitoring Tool (https://t.co/w52lV5Znth) which enables #RuntimeVerification for ROS sy…
The tutorial will describe the ROSMonitoring Tool (https://t.co/w52lV5Znth) which enables #RuntimeVerification for ROS systems. The tool was introduced in 'ROSMonitoring: A Runtime Verification Framework for ROS' (https://t.co/w7n42wGBgj) #ISSRE2021