Recursive State Bounding by Parallelotopes¶
Luigi Chisci, A. G., & Zappa, G. (2001). Recursive State Bounding by Parallelotopes.
Cited by¶
1 citation across 1 artifact.
Domain-specific¶
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:ef1d2ef9eba1 · see in the full table