J. Hencil Peter is an author at LMU Klinikum specializing in automated reasoning, formal verification, and monte carlo methods.
Top concepts
EngineeringData ScienceFormal MethodsRobot LearningComputer ScienceAutomated ReasoningFormal VerificationMonte Carlo MethodsArtificial Intelligence
Publications per year
2010–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