Analytical Models of the Performance of C-V2X Mode 4 Vehicular Communica...
Reads a state transition system and performs property checking
Dead reckoning navigation using a smartphone magnetometer.
An INS-EKF-ZUPT for Pedestrian Dead Reckoning