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