Compositional Verification of Railway Interlockings: Comparison of Two Methods.

Alessandro Fantechi Gloria Gori Anne E. Haxthausen Christophe Limbrée

Published in: RSSRail (2022)

Keyphrases

significant improvement
benchmark datasets
qualitative and quantitative
support vector
machine learning
evolutionary algorithm
empirical studies
statistical analysis
machine learning methods
computationally expensive
search methods
optimization methods
methods require