There are 1 repository under cyber-physical topic.
Neural Network Verification Software Tool
Argo for JaCaMo provides a customized agent architecture that extends standard agents by adding the ability to control microcontrollers (Arduino) using Javino.
Dynamic Positioning Project TMR4345 - Marine Computer Science Lab.