Interpolation-Based GR(1) Assumptions Refinement.

Davide G. Cavezza Dalal Alrajeh

Published in: TACAS (1) (2017)

Keyphrases

linear interpolation
interpolation algorithm
hidden markov models
data sets
real world
genetic algorithm
decision trees
multi agent systems
probabilistic model
image interpolation
simplifying assumptions