TY  - RPRT
TI  - Exact Finite-State Machine Identification from Scenarios and Temporal Properties
AU  - Vladimir Ulyantsev
AU  - Igor Buzhinsky
AU  - Anatoly Shalyto
PY  - 2016
DO  - 10.1007/s10009-016-0442-1
UR  - https://arxiv.org/abs/1601.06945
ID  - 1601.06945
ER  -