From typestate verification to interpretable deep models (invited talk abstract).

Eran Yahav Stephen J. Fink Nurit Dor G. Ramalingam Emmanuel Geay

Published in: ISSTA (2019)

Keyphrases

invited talk
statistical models
probabilistic model
statistical model
artificial neural networks
learning process
data sets
high level
hidden markov models
higher level
model checking