Video
CPS: Small: Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Sponsor(s)
National Science Foundation
Contributor(s)
Parasara Duggirala
Remote Video
Tags
Submitted by Anonymous on September 3rd, 2021
File
Numerical and Symbolic Techniques for Verification and Synthesis of Cyber-Physical Systems
Parasara Sridhar Duggirala Submitted by Parasara Sridhar Duggirala on June 18th, 2021
Subscribe to 1935724