Synthesizing Computable Functions from Rational Specifications Over Infinite Words.

Emmanuel Filiot Sarah Winter

Published in: Int. J. Found. Comput. Sci. (2024)

Keyphrases

decision making
finite sets
n gram
word sense disambiguation
high level
formal specification
related words
machine learning
artificial intelligence
metadata
case study
keywords
basis functions