Resources for Temporal Logic
- Introduction to Discrete Event Systems by C. Cassandras and S. Lafortune Springer
- Formal Methods for Discrete-Time Dynamical Systems by C. Belta, B. Yordanov, and E. Gol Springer
- Hybrid Control of Multi-robot Systems under Complex Temporal Tasks by M. Guo KTH, DiVA, guo2015hybrid
Papers are organized into labeled groups: group_name (label).
- Grammar Introduction (grammar): New grammar is defined in these papers
- Sampling-Based (sampling): sampling based approaches are introduced/used in solving a temporal logic constraint problem
- Learning-Based (learning): learning approaches are introduced/used in solving a temporal logic constraint problem
- Optimization (optimization): gradient-based methods and other optimization techniques are introduced/used in solving a temporal logic constraint problem
- Probabilistic (probabilistic): Solving temporal logic constraint problems in probabilistic settings (e.g. risk-based formulations, partially unknown environments, etc...)
- Monitoring Temporal Properties of Continuous Signals researchgate, imag.fr, maler2004monitoring (STL)
- Sampling-Based Temporal Logic Path Planning arXiv, vasile2013sampling
- Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications KTH, IEEE, barbosa2019integrated
- Tractable Reinforcement Learning of Signal Temporal Logic Objectives arXiv, L4DC2020, venkataraman2020tractable
- Average-based Robustness for Continuous-Time Signal Temporal Logic arXiv, IEEE, mehdipour2019average
- Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics arXiv, haghighi2019control
- Back-propagation through STL Specifications: Infusing Logical Structure into Gradient-Based Methods Stanford, leungback
- Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications ieee, researchgate, mehdipour2019arithmetic
- Control Design for Risk-Based Signal Temporal Logic Specifications arXiv, IEEE, safaoui2020control
- Shrinking Horizon Model Predictive Control with Signal Temporal Logic Constraints under Stochastic Disturbances arXiv, IEEE, farahani2018shrinking
- LTL 2 BA: Translate LTL formulae to Buchi Automata web
- BluSTL: Controller Synthesis from Signal Temporal Logic Specifications paper, donze2015blustl, github