Models for Logics and Conditional Constraints in Automated Proofs of Termination.

Salvador Lucas José Meseguer

Published in: AISC (2014)

Keyphrases

statistical models
probabilistic model
graphical models
objective function
artificial neural networks
least squares
experimental data
constraint satisfaction
semi automated