On-the-Fly Symbolic Synthesis With Memory Reduction Guarantees.

Elisei Macoveiciuc Gunther Reissig

Published in: IEEE Trans. Autom. Control. (2023)

Keyphrases

memory usage
program synthesis
memory size
memory requirements
limited memory
high level
artificial intelligence
feature selection
main memory
computing power
reduction method
functional programs
real time
symbolic data
initial state
hidden markov models
information systems
neural network
data sets