Scholars

AI researchers

Profiles start from public data. Scholars claim their own to correct and maintain it.

1 scholar on Formal Methods in Verification · Clear

• DT
  Daiying Tian

  Agency for Science, Technology and Research

  • Reinforcement Learning in Robotics
  • AI-based Problem Solving and Planning
  • Multi-Agent Systems and Negotiation
  1140