@misc{indiciaeacb900c0d499,
  title = {Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification},
  author = {Toni Mancini and Igor Melatti and Enrico Tronci},
  year = {2021},
  doi = {10.1109/tse.2021.3109842},
  url = {https://arxiv.org/abs/2109.03330},
  note = {Source identifier: 2109.03330}
}