Specification, Verification and Synthesis in Cyberphysical Systems
APA
(2021). Specification, Verification and Synthesis in Cyberphysical Systems. The Simons Institute for the Theory of Computing. https://simons.berkeley.edu/talks/cyber-physical-systems
MLA
Specification, Verification and Synthesis in Cyberphysical Systems. The Simons Institute for the Theory of Computing, Jan. 29, 2021, https://simons.berkeley.edu/talks/cyber-physical-systems
BibTex
@misc{ scivideos_16952, doi = {}, url = {https://simons.berkeley.edu/talks/cyber-physical-systems}, author = {}, keywords = {}, language = {en}, title = {Specification, Verification and Synthesis in Cyberphysical Systems}, publisher = {The Simons Institute for the Theory of Computing}, year = {2021}, month = {jan}, note = {16952 see, \url{https://scivideos.org/index.php/Simons-Institute/16952}} }
Ufuk Topcu (University of Texas at Austin)
Talk number16952
Source RepositorySimons Institute
Subject