Branch
Certified Target-Sufficient Readout Design and Exact Finite-Model Reduction
Authority role
Exact collision witnesses and constrained synthesis turn target sufficiency into minimum-cost finite readout design.
Summary
Exact collision witnesses and constrained synthesis turn target sufficiency into minimum-cost finite readout design.
Cite this paper
Jeremy Rodgers. (2026). Certified Target-Sufficient Readout Design and Exact Finite-Model Reduction. https://doi.org/10.5281/zenodo.23721133