A Formal Model of Train Control with AI-Based Obstacle Detection.

Jan Gruteser David Geleßus Michael Leuschel Jan Roßbach Fabian Vu

Published in: RSSRail (2023)

Keyphrases

formal model
obstacle detection
stereo vision
outdoor environments
ground plane
stereo camera
autonomous navigation
security properties
security patterns
machine learning
viewpoint
hidden markov models
mobile robot