Symbolic and Numerical Techniques for Verification and Synthesis of CPS Download pdf Tags: formal methods verification synthesis control systems Safety Symbolic Representation Generalized Stars 1739936 2018 CPS-PI Meeting 2018 Presentation Session 5: LT License: CC-2.5 Submitted by Parasara Sridh… on Tue, 12/04/2018 - 15:49