TY  - RPRT
TI  - Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification
AU  - Toni Mancini
AU  - Igor Melatti
AU  - Enrico Tronci
PY  - 2021
DO  - 10.1109/tse.2021.3109842
UR  - https://arxiv.org/abs/2109.03330
ID  - 2109.03330
ER  -