4 results found Sort:
- Filter by Primary Language:
- Python (2)
- C++ (1)
- Jupyter Notebook (1)
- +
Reads a state transition system and performs property checking
Created
2018-08-01
169 commits to master branch, last one 28 days ago
Dead reckoning navigation using a smartphone magnetometer.
Created
2018-04-16
15 commits to master branch, last one 3 years ago
室内行人移动方位推算技术 (Pedestrian Dead Reckoning, PDR)
Created
2022-11-23
57 commits to main branch, last one 2 years ago
An INS-EKF-ZUPT for Pedestrian Dead Reckoning
Created
2021-09-23
38 commits to main branch, last one 2 years ago