Combining Functional and Automata Synthesis to Discover Causal Reactive Programs

Author(s)
Das, Ria; Tenenbaum, Joshua B.; Solar-Lezama, Armando; Tavares, Zenna
Thumbnail
Download3571249.pdf (3.677Mb)
Publisher with Creative Commons License
Terms of use
Creative Commons Attribution 4.0 International license https://creativecommons.org/licenses/by/4.0/
Metadata
Show full item record
Date issued
2023-01-09
URI
https://hdl.handle.net/1721.1/147690
Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Brain and Cognitive Sciences; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Journal
Proceedings of the ACM on Programming Languages
Publisher
ACM
Citation
Das, Ria, Tenenbaum, Joshua B., Solar-Lezama, Armando and Tavares, Zenna. 2023. "Combining Functional and Automata Synthesis to Discover Causal Reactive Programs." Proceedings of the ACM on Programming Languages.
Version: Final published version
ISSN
2475-1421
Collections

The following license files are associated with this item: