TY  - RPRT
TI  - Symbolic Model Checking using Intervals of Vectors
AU  - Damien Morard
AU  - Didier Buchs
PY  - 2026
UR  - https://arxiv.org/abs/2602.03565
ID  - 2602.03565
ER  -