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