Certified Steady-State Parameter-Interval Design for Uncertain Biomolecular Models using a Global Shaving Contractor
Rudra Prakash, S. Janardhanan, Shaunak Sen
This paper develops a global shaving contractor to compute certified parameter intervals for steady-state specifications in biomolecular models, demonstrating efficient contraction of design domains without subdivision.
bioRxiv · May 29, 2026 · PreprintSynthetic Biology