TY  - RPRT
TI  - STL: Surprisingly Tricky Logic (for System Validation)
AU  - Ho Chit Siu
AU  - Kevin Leahy
AU  - Makai Mann
PY  - 2023
UR  - https://arxiv.org/abs/2305.17258
ID  - 2305.17258
ER  -