Login / Signup
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