Thomas Dean

1. On the Complexity of Solving Markov Decision Problems
   2013/02/20 by Michael L. Littman, Littman, Michael L., Thomas Dean +3 · 9 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms
2. Hierarchical Solution of Markov Decision Processes using Macro-actions
   2013/01/30 by Miloš Hauskrecht, Nicolas Meuleau, Hauskrecht, Milos +7 · 8 citations
   Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies #Reinforcement Learning in Robotics
3. Model Reduction Techniques for Computing Approximately Optimal Solutions\n for Markov Decision Processes
   2013/02/06 by Thomas Dean, Dean, Thomas L., Robert Givan +3 · 2 citations
   Computer Science · #Bayesian Modeling and Causal Inference #Formal Methods in Verification #Software Reliability and Analysis Research
4. Biological Blueprints for Next Generation AI Systems
   2019/12/01 by Thomas Dean, Dean, Thomas, Chaofei Fan +5 · 1 voice
   Neuroscience · Biochemistry, Genetics and Molecular Biology · #Neural dynamics and brain function #Cell Image Analysis Techniques #Memory and Neural Mechanisms
5. Evaluating soft and hard contrail avoidance strategies in commercial flight planning: Implementation and effectiveness analysis
   2026/07/28 by Alejandra Martin Frias, Manuel Fernando Soler Arnedo, Thomas Dean +1