APA Style

Arcak, P, M, �, A, D, �, M. (2021). Interval Reachability Analysis Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification . Berkeley, CA, USA: Springer.

MLA Style

Arcak, Pierre-Jean, Meyer, •, Alex, Devonport, •, Murat. "Interval Reachability Analysis Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification". Berkeley, CA, USA: Springer, 2021. Text.