Formal modeling and analysis of railway operations with active objects.

Eduard Kamburjan Reiner Hähnle Sebastian Schön

Published in: Sci. Comput. Program. (2018)

Keyphrases

statistical modeling
real time
quantitative analysis
machine learning
artificial intelligence
computer vision
clustering algorithm
case study
data analysis
image analysis
spatial relationships