Xiaojing Song

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 2

Top Topics

Recurrent Neural Networks

Computationally Expensive

Formal Verification

Top Venues

IEEE Trans. Robotics

J. Frankl. Inst.

Publications