Showing results (1-10 of 2) with videos related to
Sort By:
Pageof 1
Sensors (Basel, Switzerland)|November 23, 2019
A Model-Checking-Based Framework for Analyzing Ambient Assisted Living SolutionsAshalatha Kunnappilly, Raluca Marinescu, Cristina SeceleanuFrontiers in Robotics and AI|July 31, 2025
A model-based approach to automation of formal verification of ROS 2-based systemsLukas Dust, Rong Gu, Saad Mubeen, et al.Pageof 1