245 followers
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. - Andrew Sogokon,… http://t.co/IhMM5SzbBI
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems. - Andrew Sogokon,… http://t.co/IhMM5SzbBI