activity
20202023
most citedLearning Robust Policies for Generalized Debris Capture with an Automated Tether-Net System

7 citations · 8 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2023

CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems

Ali Shokri, Alexandre Perez, Souma Chowdhury +6

We introduce a novel approach to automatically synthesize a mathematical representation of the control algorithms implemented in industrial cyber-physical systems (CPS), given the…