Follow
John Skovbekk
John Skovbekk
Verified email at colorado.edu - Homepage
Title
Cited by
Cited by
Year
A performance assessment of low-cost RTK GNSS receivers
J Jackson, B Davis, D Gebre-Egziabher
2018 IEEE/ION Position, Location and Navigation Symposium (PLANS), 642-649, 2018
322018
Safety verification of unknown dynamical systems via gaussian process regression
J Jackson, L Laurenti, E Frew, M Lahijanian
2020 59th IEEE Conference on Decision and Control (CDC), 860-866, 2020
232020
Strategy synthesis for partially-known switched stochastic systems
J Jackson, L Laurenti, E Frew, M Lahijanian
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
182021
Evaluation of low-cost, centimeter-level accuracy OEM GNSS receivers
J Jackson, R Saborio, SA Ghazanfar, D Gebre-Egziabher, B Davis
Minnesota Department of Transportation, 2018
172018
Formal verification of unknown dynamical systems via Gaussian process regression
J Jackson, L Laurenti, E Frew, M Lahijanian
arXiv preprint arXiv:2201.00655, 2021
112021
An assessment of lowcost RTK GNSS receivers
J Jackson, B Davis, D Gebre-Egziabher
Proceedings of the IEEE/ION PLANS Meeting, 2018
72018
Gps-denied navigator for small uavs
T Layh, J Larson, D Gebre-Egziabher, B Taylor, J Jackson, Y Agamawi
Final report, University of Minnesota UAV Laboratory, Department of …, 2014
62014
A recovery system for SUAV operations in GPS-denied environments using timing advance measurements
T Layh, J Larson, J Jackson, B Taylor, D Gebre-Egziabher
Proceedings of the 2015 International Technical Meeting of the Institute of …, 2015
32015
Synergistic offline-online control synthesis via local gaussian process regression
J Jackson, L Laurenti, E Frew, M Lahijanian
2021 60th IEEE Conference on Decision and Control (CDC), 2232-2239, 2021
22021
Cell Phone Navigation
T Layh, J Larson, J Jackson, Y Agamawi, B Taylor, D Gebre-Egziabher, ...
22015
Formal Abstraction of General Stochastic Systems via Noise Partitioning
J Skovbekk, L Laurenti, E Frew, M Lahijanian
IEEE Control Systems Letters, 2023
12023
Real-time Kinematic Positioning: Background, Assessment and Forecasting
J Jackson
University of Minnesota, 2018
12018
Towards Data-driven Verification of Unknown Dynamical Systems
J Jackson, L Laurenti, E Frew, M Lahijanian
2nd RSS Workshop on Robust Autonomy: Tools for Safety in Real-World …, 2020
2020
A Distributed, Greedy Planner for Multiple sUAS using Expected Downstream Information Gain
J Jackson, EW Frew
AIAA Scitech 2020 Forum, 1717, 2020
2020
Autonomous decision making for pseudo-Lagrangian drifter deployment from sUAS
CA Hirst, J Jackson, EW Frew
AIAA Scitech 2020 Forum, 0138, 2020
2020
Towards Efficient Data Refinement for Data-driven Abstraction and Verification
J Skovbekk, L Laurenti, E Frew, M Lahijanian
The system can't perform the operation now. Try again later.
Articles 1–16