共 58 条
[22]
Lailly P, 1983, C INV SCATT THEOR AP, P206
[23]
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems
[J].
PROCEEDINGS 23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING - TIME 2016,
2016,
:1-1
[26]
Moseley B, 2018, ARXIV PREPRINT ARXIV
[29]
Polyak A., 2016, INT C LEARN REPR
[30]
Pratt RG, 1998, GEOPHYS J INT, V133, P341, DOI 10.1046/j.1365-246X.1998.00498.x