research
∙
03/02/2021
The High-Assurance ROS Framework
This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS...
share
research
∙
10/15/2020
alurity, a toolbox for robot cybersecurity
The reuse of technologies and inherent complexity of most robotic system...
research
∙
12/23/2019
Simulation under Arbitrary Temporal Logic Constraints
Most model checkers provide a useful simulation mode, that allows users ...
research
∙
07/04/2019
Sharing and Learning Alloy on the Web
We present Alloy4Fun, a web application that enables online editing and ...
research
∙
11/27/2018