cyber-physical

There are 3 repositories under cyber-physical topic.

  • verivital/nnv

    Neural Network Verification Software Tool

    Language:MATLAB11475849

  • chon-group/argo-jcm

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

    Language:Java1000

  • eliassr/TMR4345-DP

    Dynamic Positioning Project TMR4345 - Marine Computer Science Lab.

    Language:C0100