watakandai/LTLtraces
Viewer
•
Updated
•
999k
•
19
•
1
Kandai Watanabe
watakandai
AI & ML interests
Learning from Demonstrations, Reinforcement Learning, Task Planning, Motion Planning, Formal Method, Task Learning
Organizations
None yet