GR(1)*: GR(1) specifications extended with existential guarantees.

Gal Amram Shahar Maoz Or Pistiner

Published in: Formal Aspects Comput. (2021)

Keyphrases

numerically stable
databases
neural network
data sets
decision trees
similarity measure
search algorithm
natural language
computational complexity