TY  - RPRT
TI  - Learning GR(1) Specifications from Traces
AU  - Sam Nicholas Kouteili
AU  - William Fishell
AU  - Mark Santolucito
AU  - Ruzica Piskac
PY  - 2026
UR  - https://arxiv.org/abs/2608.06546
ID  - 2608.06546
ER  -