Comparing Two Methods for Checking Runtime Properties.

Gerard J. Holzmann

Published in: Formal Methods in Outer Space (2021)

Keyphrases

preprocessing
empirical studies
machine learning methods
genetic algorithm
artificial intelligence
website
three dimensional
object recognition
markov random field
benchmark datasets
cross validation
computationally expensive
qualitative and quantitative