Combining Functional and Automata Synthesis to Discover Causal Reactive Programs.
Ria DasJoshua B. TenenbaumArmando Solar-LezamaZenna TavaresPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- functional programs
- functional language
- finite state machines
- information systems
- program synthesis
- turing machine
- causal models
- cellular automata
- case study
- probabilistic model
- texture synthesis
- causal relationships
- finite state
- programming environment
- control flow
- causal reasoning
- automatic programming
- multi agent
- high level
- causal independence
- data sets