research
∙
03/02/2021
The High-Assurance ROS Framework
This tool paper presents the High-Assurance ROS (HAROS) framework. HAROS...
share
research
∙
12/23/2019
Simulation under Arbitrary Temporal Logic Constraints
Most model checkers provide a useful simulation mode, that allows users ...
research
∙
11/08/2019
ROSY: An elegant language to teach the pure reactive nature of robot programming
Robotics is incredibly fun and is long recognized as a great way to teac...
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