Combining Functional and Automata Synthesis to Discover Causal Reactive Programs

Bibliographic Details
Main Authors:	Das, Ria, Tenenbaum, Joshua B., Solar-Lezama, Armando, Tavares, Zenna
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	ACM 2023
Online Access:	https://hdl.handle.net/1721.1/147690

Internet

https://hdl.handle.net/1721.1/147690