TY  - RPRT
TI  - Testing System Intelligence
AU  - Joseph Sifakis
PY  - 2023
UR  - https://arxiv.org/abs/2305.11472
ID  - 2305.11472
ER  -