See tests/ for examples on how to use this. Note that this package does NOT do any type checking. Coercion of data types from and to strings must be done by the user of this library.
Abstract: We propose a lightweight and ground-optimized lidar odometry and mapping method, LeGO-LOAM, for realtime six degree-of-freedom pose estimation with ground vehicles. LeGO-LOAM is lightweight, ...
Abstract: Signal Temporal Logic (STL) provides a convenient way of encoding complex control objectives for robotic and cyber-physical systems. The state-of-the-art in trajectory synthesis for STL is ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results