All Stories

  1. A Survey on Automated Symbolic Verification and its Application for Synthesizing Cyber-Physical System

    Article • IET Cyber-Physical Systems Theory & Applications, August 2019, the Institution of Engineering and Technology (the IET)

    Dr. Lucas C Cordeiro, Iury Bessa