TY  - RPRT
TI  - Active and sparse methods in smoothed model checking
AU  - Paul Piho
AU  - Jane Hillston
PY  - 2021
UR  - https://arxiv.org/abs/2104.09940
ID  - 2104.09940
ER  -