Verifying Liveness Properties of ML Programs.

Martin Lester Robin P. Neatherway C.-H. Luke Ong Steven J. Ramsay

Published in: CoRR (2020)

Keyphrases

maximum likelihood
model checking
structural properties
desirable properties
key properties
database
real time
machine learning
website
search algorithm
probability distribution
logic programs
operating system