1. Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., et al., 2016. Tensorflow: A system for large-scale machine learning. In: 12th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 16). pp. 265–283.
2. Temporal logic robustness for general signal classes;Abbas,2019
3. Time robustness in MTL and expressivity in hybrid system falsification;Akazaki,2015
4. Time robustness in MTL and expressivity in hybrid system falsification;Akazaki,2015
5. Q-learning for robust satisfaction of signal temporal logic specifications;Aksaray,2016