Fetching the paper…
Reading the bibliography…
This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs.
In: IEEE Symp. on Foundations of Computer Science
Pnueli A (1977) The temporal logic of programs · 1977
Earlier work this paper cites.
Neural Computation
Hochreiter S and Schmidhuber J (1997) Long short-term memory · 1997
Earlier work this paper cites.
In: Int. Conf. on Artificial Neural Networks
Gers FA, Schmidhuber J and Cummins F (1999) Learning to forget: continual prediction with LSTM · 1999
Earlier work this paper cites.
In: Proc. Int. Symp. Formal Techniques in Real-Time and Fault-Tolerant Systems, Formal Modeling and Analysis of Timed Systems
Maler O and Nickovic D (2004) Monitoring temporal properties of continuous signals · 2004
Earlier work this paper cites.
MIT Press
Baier C and Katoen JP (2008) Principles of Model Checking · 2008
Earlier work this paper cites.
Automatica 45(2): 343–352
Fainekos GE, Girard A, Kress-Gazit H and Pappas GJ (2008) Temporal logic motion planning for dynamic robots · 2008
Earlier work this paper cites.
In: IEEE/RSJ Int. Conf. on Intelligent Robots & Systems
Finucane C, Jing G and Kress-Gazit H (2010) LTLMoP: Experimenting with language, temporal logic and robot control · 2010
Earlier work this paper cites.
In: Hybrid Systems: Computation and Control
Wongpiromsarn T, Topcu U, Ozay N, Xu H and Murray RM (2011) TuLiP: A software toolbox for receding horizon temporal logic planning · 2011
Earlier work this paper cites.
In: Int. Conf, on Runtime Verification
Asarin E, Donzé A, Maler O and Nickovic D (2012) Parametric identification of temporal properties · 2012
Earlier work this paper cites.
In: American Control Conference
Fainekos G, Sankaranarayanan S, Ueda K and Yazarel H (2012) Verification of automotive control applications using S-TaLiRo · 2012
Earlier work this paper cites.
Available at https://arxiv.org/abs/1312.6114
Kingma DP and Welling M (2013) Auto-encoding variational bayes · 2013
Cited alongside, same era.
In: Proc. IEEE Conf. on Decision and Control
Raman V, Donze A, Maasoumy M, Murray RM, Sangiovanni-Vincentelli A and Seshia SA (2014) Model predictive control with signal temporal logic specifications · 2014
Cited alongside, same era.
Available at https://arxiv.org/abs/1606.05908
Doersch C (2016) Tutorial on variational autoencoders · 2016
Cited alongside, same era.
In: Int. Conf. on Learning Representations
Jang E, Gu S and Poole B (2017) Categorial reparameterization with gumbel-softmax · 2017
Cited alongside, same era.
In: American Control Conference
Mehr N, Sadigh D, Horowitz R, Sastry S and Seshia SA (2017) Stochastic predictive freeway ramp metering from signal temporal logic specifications · 2017
Cited alongside, same era.
Springer, pp. 135–175
Bartocci E, Deshmukh J, Donzé A, Fainekos G, Maler O, Nickovic D and Sankaranarayanan S (2018) Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications · 2018
Later among the works it cites.
Annual Review of Control, Robotics, and Autonomous Systems 1: 211–236
Kress-Gazit H, Lahijanian M and Raman V (2018) Synthesis for robots: Guarantees and feedback for robot behavior · 2018
Later among the works it cites.
In: Proc. IEEE Conf. on Robotics and Automation
Schmerling E, Leung K, Vollprecht W and Pavone M (2018) Multimodal probabilistic model-based planning for human-robot interaction · 2018
Later among the works it cites.
In: American Control Conference
Mehdipour N, Vasile CI and Belta C (2019) Arithmetic-geometric mean robustness for control from signal temporal logic specifications · 2019
Later among the works it cites.
ACM Transactions on Embedded Computing Systems 18(5s)
Yaghoubi S and Fainekos G (2019) Worst-case satisfaction of STL specifications using feedforward neural network controllers: A lagrange multipliers approach · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
In: IEEE Conf. Control Technology and Applications
Pant YV, Abbas H and Mangharam R (2017) Smooth Operator: Control using the smooth robustness of temporal logic · 2017
Cited alongside, same era.
In: Conf. on Neural Information Processing Systems - Autodiff Workshop
Paszke A, Gross S, Chintala S, Chanan G, Yang E, DeVito Z, Lin Z, Desmaison A, Antiga L and Lerer A (2017) Automatic differentiation in PyTorch · 2017
Cited alongside, same era.
Proc. Int. Conf. Computer Aided Verification 10426: 305–325
Vazquez-Chanlatte M, Deshmukh JV, Jin X and Seshia SA (2017) Logical clustering and learning for time-series data · 2017
Cited alongside, same era.
In: Int. Conf. on Machine Learning
Adel T, Ghahramani Z and Weller A (2018) Discovering interpretable representations for both deep generative and discriminative models · 2018
Cited alongside, same era.
In: Conf. on Neural Information Processing Systems
Ma M, Gao J, Feng L and Stankovic J (2020) STLnet: Signal temporal logic enforced multivariate recurrent neural networks · 2020
Closest in time.
In: Conf. on Robot Learning
Puranic AG, Deshmukh JV and Nikolaidis S (2020) Learning from demonstrations using signal temporal logic · 2020
Closest in time.
IEEE Robotics and Automation Letters 6(2): 295–302
Ivanovic B, Leung K, Schmerling E and Pavone M (2021) Multimodal deep generative models for trajectory prediction: A conditional variational autoencoder approach · 2021
Closest in time.
IEEE Control Systems Letters 6: 91 – 96
Liu W, Mehdipour N and Belta C (2021) Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints · 2021
Closest in time.