Synthesizing Computable Functions from Rational Specifications over Infinite Words.

Emmanuel Filiot Sarah Winter

Published in: FSTTCS (2021)

Keyphrases

finite sets
artificial intelligence
decision making
keywords
n gram
basis functions
neural network
machine learning
feature selection
e learning
natural language processing
formal specification
multi valued
linguistic information
asynchronous circuits
bounded rationality