Neural Network Verification Software Tool https://www.verivital.com Documentation:

A design doctrine governing the visual and perceptual presentation of autonomous cyber-physical systems to ensure clarity, safety, and non-anthropomorphic interpretation.

Argo for JaCaMo provides a customized agent architecture that extends standard agents by adding the ability to control microcontrollers (Arduino) using Javino.

A tool to declare and solve symbolic equations of dynamical systems and control theory

Dynamic Positioning Project TMR4345 - Marine Computer Science Lab.

TraceLock Labs — RF and cyber-physical security research platform. Detection engineering across Wi-Fi, BLE, SDR, GPS, and ADS-B domains.