Christian Meyer is an author at LMU Klinikum specializing in engineering, automated reasoning, and monte carlo methods.
Top concepts
EngineeringNoiseCardiologyData ScienceFormal MethodsRobot LearningComputer ScienceSignal ProcessingAutomated ReasoningFormal Verification
Publications per year
1977–2019
2
2
Subgoal-Based Temporal Abstraction in Monte-Carlo Tree Search
Thomas Gabor, J. Hencil Peter, Thomy Phan et al. · 2019 · 13 citations · Full text
Rows per page
1–2 of 2