research
∙
05/04/2023
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
We address the challenges of scaling verification efforts to match the i...
share
research
∙
05/02/2022
Accelerating Verified-Compiler Development with a Verified Rewriting Engine
Compilers are a prime target for formal verification, since compiler bug...
research
∙
04/27/2022
Advantages of maintaining a multi-task project-specific bot: an experience report
Bots are becoming a popular method for automating basic everyday tasks i...
research
∙
02/28/2022
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
As the adoption of proof assistants increases, there is a need for effic...
research
∙
12/15/2021
A Comparison of Robust Kalman Filters for Improving Wheel-Inertial Odometry in Planetary Rovers
This paper compares the performance of adaptive and robust Kalman filter...
research
∙
12/14/2021
Review of Factor Graphs for Robust GNSS Applications
Factor graphs have recently emerged as an alternative solution method fo...
research
∙
12/14/2021
Extending the team with a project-specific bot
While every other software team is adopting off-the-shelf bots to automa...
research
∙
12/14/2021
ZUPT Aided GNSS Factor Graph with Inertial Navigation Integration for Wheeled Robots
In this work, we demonstrate the importance of zero velocity information...
research
∙
08/29/2018