A comparison of an implanted accelerometer with a wearable accelerometer for closed-loop DBS. | 0 | 0.34 | 2022 |
Model-Free Learning of Safe yet Effective Controllers. | 0 | 0.34 | 2021 |
LCV: A Verification Tool for Linear Controller Software. | 0 | 0.34 | 2019 |
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019. | 0 | 0.34 | 2019 |
Automatic Verification of Finite Precision Implementations of Linear Controllers. | 0 | 0.34 | 2017 |