Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
Davide Basile, Maurice H. ter Beek, Axel Legay
Topics & Concepts
Computer scienceBlock (permutation group theory)AbstractionReinforcement learningModel checkingSimulationArtificial intelligenceTheoretical computer scienceGeometryMathematicsEpistemologyPhilosophyFormal Methods in VerificationModel-Driven Software Engineering TechniquesBusiness Process Modeling and Analysis