Statistics
Publications
413
Citations
24.3K
Authors
7
Location
Zurich, Switzerland
413
Learning quadrupedal locomotion over challenging terrain
Science Robotics · 2020 · 1K citations · Full text
Learning robust perceptive locomotion for quadrupedal robots in the wild
Takahiro Miki, Joonho Lee, Jemin Hwangbo et al. · Science Robotics · 2022 · 733 citations · Full text
Bounded Model Checking Using Satisfiability Solving
Edmund M. Clarke, Armin Biere, Richard Raimi et al. · Formal Methods in System Design · 2001 · 679 citations
1–5 of 413
7
4
h-index
1
h-index
1
h-index
1
h-index
1
h-index
1–5 of 7