Reactive Synthesis
APA
(2021). Reactive Synthesis. The Simons Institute for the Theory of Computing. https://simons.berkeley.edu/talks/tbd-266
MLA
Reactive Synthesis. The Simons Institute for the Theory of Computing, Feb. 08, 2021, https://simons.berkeley.edu/talks/tbd-266
BibTex
@misc{ scivideos_17244, doi = {}, url = {https://simons.berkeley.edu/talks/tbd-266}, author = {}, keywords = {}, language = {en}, title = {Reactive Synthesis}, publisher = {The Simons Institute for the Theory of Computing}, year = {2021}, month = {feb}, note = {17244 see, \url{https://scivideos.org/Simons-Institute/17244}} }
Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)
Talk number17244
Source RepositorySimons Institute
Subject