共 57 条
[3]
A Decision Tree Approach to Data Classification using Signal Temporal Logic
[J].
HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL,
2016,
:1-10