Certifying Optimality of State Estimation Programs
No abstract available.
Related papers
- Perception with Guarantees: Certified Pose Estimation via Reachability Analysis CAV 2026
- A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks POPL 1986
- Gradual certified programming in Coq DLS 2015
- Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability TACAS 2025
- State Space Estimation for DPOR-Based Model Checkers PLDI 2026
- SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems TACAS 2010
- Certifying, Optimizing Compilation (Abstract) SAS 1998
- Estimating the Impact of Scalable Pointer Analysis on Optimization SAS 2001