vix.ing · top · new · best · stats · spec

Shuhao Qi

  1. VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications
    2024/09/14 by van de Laar, Teun, Zengjie Zhang, Shuhao Qi +6 · 1 citation
    Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence #Robotics (cs.RO) #Robotics and Automated Systems