Fetching the paper…
Reading the bibliography…
There has been a growing interest in extracting formal descriptions of the system behaviors from data.
D. Li, M. Cai, C.-I. Vasile, and R. Tron, “Learning signal temporal logic through neural network for interpretable classification,” in 2023 American Control Conference (ACC) . IEEE, 2023, pp. 1907–1914
1914
Earlier work this paper cites.
P. R. Halmos, Measure Theory . Springer Verlag, 1974
1974
Earlier work this paper cites.
M. Schuster and K. K. Paliwal, “Bidirectional recurrent neural networks,” IEEE transactions on Signal Processing , vol. 45, no. 11, pp. 2673–2681, 1997
1997
Earlier work this paper cites.
S. Hochreiter and J. Schmidhuber, “Long short-term memory,” Neural computation , vol. 9, no. 8, pp. 1735–1780, 1997
1997
Earlier work this paper cites.
T. G. Dietterich, “Machine-learning research,” AI magazine , vol. 18, no. 4, pp. 97–97, 1997
1997
Earlier work this paper cites.
O. Maler and D. Nickovic, “Monitoring temporal properties of continuous signals,” in Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings . Springer, 2004, pp. 152–166
2004
Earlier work this paper cites.
A. Donzé and O. Maler, “Robust satisfaction of temporal logic over real-valued signals,” in International Conference on Formal Modeling and Analysis of Timed Systems . Springer, 2010, pp. 92–106
2010
Earlier work this paper cites.
E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” in Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers 2 . Springer, 2012, pp. 147–160
2012
Earlier work this paper cites.
2013
Earlier work this paper cites.
2013
Earlier work this paper cites.
V. Raman, A. Donzé, M. Maasoumy, R. M. Murray, A. Sangiovanni-Vincentelli, and S. A. Seshia, “Model predictive control with signal temporal logic specifications,” in 53rd IEEE Conference on Decision and Control . IEEE, 2014, pp. 81–87
2014
Earlier work this paper cites.
E. Bartocci, L. Bortolussi, and G. Sanguinetti, “Data-driven statistical learning of temporal logic properties,” in International conference on formal modeling and analysis of timed systems . Springer, 2014, pp. 23–37
2014
Earlier work this paper cites.
G. Bombara, C.-I. Vasile, F. Penedo, H. Yasuoka, and C. Belta, “A decision tree approach to data classification using signal temporal logic,” in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control , 2016, pp. 1–10
2016
Earlier work this paper cites.
Z. Kong, A. Jones, and C. Belta, “Temporal logics for learning and detection of anomalous behavior,” IEEE Transactions on Automatic Control , vol. 62, no. 3, pp. 1210–1222, 2016
2016
Earlier work this paper cites.
2017
Cited alongside, same era.
A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, Ł. Kaiser, and I. Polosukhin, “Attention is all you need,” Advances in neural information processing systems , vol. 30, 2017
2017
Cited alongside, same era.
C.-I. Vasile, V. Raman, and S. Karaman, “Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications,” in 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 2017, pp. 3840–3847
2017
Cited alongside, same era.
S. Srinivas, A. Subramanya, and R. Venkatesh Babu, “Training sparse neural networks,” in Proceedings of the IEEE conference on computer vision and pattern recognition workshops , 2017, pp. 138–145
2017
Cited alongside, same era.
N. Mehdipour, C.-I. Vasile, and C. Belta, “Specifying user preferences using weighted signal temporal logic,” IEEE Control Systems Letters , vol. 5, no. 6, pp. 2006–2011, 2020
2020
Later among the works it cites.
P. Varnai and D. V. Dimarogonas, “On robustness metrics for learning stl tasks,” in 2020 American Control Conference (ACC) . IEEE, 2020, pp. 5394–5399
2020
Later among the works it cites.
G. Bombara and C. Belta, “Offline and online learning of signal temporal logic formulae using decision trees,” ACM Transactions on Cyber-Physical Systems , vol. 5, no. 3, pp. 1–23, 2021
2021
Later among the works it cites.
R. Yan, A. Julius, M. Chang, A. Fokoue, T. Ma, and R. Uceda-Sosa, “Stone: Signal temporal logic neural network for time series classification,” in 2021 International Conference on Data Mining Workshops (ICDMW) . IEEE, 2021, pp. 778–787
2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. Paszke, S. Gross, S. Chintala, G. Chanan, E. Yang, Z. DeVito, Z. Lin, A. Desmaison, L. Antiga, and A. Lerer, “Automatic differentiation in pytorch,” in NIPS-W , 2017
2017
Cited alongside, same era.
L. Lindemann and D. V. Dimarogonas, “Control barrier functions for signal temporal logic tasks,” IEEE control systems letters , vol. 3, no. 1, pp. 96–101, 2018
2018
Cited alongside, same era.
H. M. Sani, C. Lei, and D. Neagu, “Computational complexity analysis of decision tree algorithms,” in Artificial Intelligence XXXV: 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings 38 . Springer, 2018, pp. 191–197
2018
Cited alongside, same era.
Z. Xu, M. Ornik, A. A. Julius, and U. Topcu, “Information-guided temporal logic inference with prior knowledge,” in 2019 American control conference (ACC) . IEEE, 2019, pp. 1891–1897
2019
Cited alongside, same era.
S. Jha, A. Tiwari, S. A. Seshia, T. Sahai, and N. Shankar, “Telex: learning signal temporal logic from positive examples using tightness metric,” Formal Methods in System Design , vol. 54, pp. 364–387, 2019
2019
Cited alongside, same era.
K. Leung, N. Aréchiga, and M. Pavone, “Backpropagation for parametric stl,” in 2019 IEEE Intelligent Vehicles Symposium (IV) . IEEE, 2019, pp. 185–192
2019
Cited alongside, same era.
——, “Arithmetic-geometric mean robustness for control from signal temporal logic specifications,” in 2019 American Control Conference (ACC) . IEEE, 2019, pp. 1690–1695
2019
Cited alongside, same era.
E. Tjoa and C. Guan, “A survey on explainable artificial intelligence (xai): Toward medical xai,” IEEE transactions on neural networks and learning systems , vol. 32, no. 11, pp. 4793–4813, 2020
2020
Cited alongside, same era.
N. Baharisangari, K. Hirota, R. Yan, A. Julius, and Z. Xu, “Weighted graph-based signal temporal logic inference using neural networks,” IEEE Control Systems Letters , vol. 6, pp. 2096–2101, 2021
2021
Later among the works it cites.
N. Mehdipour, C.-I. Vasile, and C. Belta, “Specifying user preferences using weighted signal temporal logic,” IEEE Control Systems Letters , vol. 5, no. 6, pp. 2006–2011, 2021
2021
Later among the works it cites.
K. Leung, N. Aréchiga, and M. Pavone, “Back-propagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods,” in Algorithmic Foundations of Robotics XIV: Proceedings of the Fourteenth Workshop on the Algorithmic Foundations of Robotics 14 . Springer, 2021, pp. 432–449
2021
Later among the works it cites.
E. Aasi, C. I. Vasile, M. Bahreinian, and C. Belta, “Classification of time-series data using boosted decision trees,” in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 2022, pp. 1263–1268
2022
Later among the works it cites.
A. Linard, I. Torre, I. Leite, and J. Tumova, “Inference of multi-class stl specifications for multi-label human-robot encounters,” in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE, 2022, pp. 1305–1311
2022
Later among the works it cites.
2022
Later among the works it cites.
D. Hilbert and W. Ackermann, Principles of mathematical logic . American Mathematical Society, 2022, vol. 69
2022
Later among the works it cites.
2024
Closest in time.
D. Li and R. Tron, “Multi-class temporal logic neural networks,” 2024
2024
Closest in time.