Finite-Budget Structural Identifiability under Bounded Observation | Synapse