# Signal Temporal Logic Synthesis as Probabilistic Inference

@article{Lee2021SignalTL, title={Signal Temporal Logic Synthesis as Probabilistic Inference}, author={Ki Myung Brian Lee and C. Yoo and R. Fitch}, journal={ArXiv}, year={2021}, volume={abs/2105.06121} }

We reformulate the signal temporal logic (STL) synthesis problem as a maximum a-posteriori (MAP) inference problem. To this end, we introduce the notion of random STL~(RSTL), which extends deterministic STL with random predicates. This new probabilistic extension naturally leads to a synthesis-as-inference approach. The proposed method allows for differentiable, gradient-based synthesis while extending the class of possible uncertain semantics. We demonstrate that the proposed framework scales… Expand

#### One Citation

An Upper Confidence Bound for Simultaneous Exploration and Exploitation in Heterogeneous Multi-Robot Systems

- Computer Science
- ArXiv
- 2021

A novel upper confidence bound for simultaneous exploration and exploitation based on mutual information is derived and a general solution for scout–task coordination is presented using decentralised Monte Carlo tree search. Expand

#### References

SHOWING 1-10 OF 31 REFERENCES

Back-propagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

- Computer Science, Engineering
- WAFR
- 2021

STLCG is shown to be versatile, computationally efficient, and capable of injecting human-domain knowledge into the problem formulation, and to enable a natural and easy-to-use integration with many gradient-based approaches used in robotics. Expand

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics

- Computer Science
- 2019 IEEE 58th Conference on Decision and Control (CDC)
- 2019

This work proposes a novel smooth STL quantitative semantics called cumulative robustness, and efficiently compute control policies through a series of smooth optimization problems that are solved using gradient ascent algorithms. Expand

Control with Probabilistic Signal Temporal Logic

- Computer Science
- ArXiv
- 2015

A probabilistic extension to signal temporal logic (STL) that expresses tasks over continuous belief spaces is proposed and an efficient synthesis algorithm is presented to find a control input that maximises the probability of satisfying a given task. Expand

Control in belief space with Temporal Logic specifications

- Computer Science
- 2016 IEEE 55th Conference on Decision and Control (CDC)
- 2016

A sampling-based algorithm is presented to synthesize control policies with temporal and uncertainty constraints and uses local feedback controllers to break the curse of history associated with belief space planning, and conventional automata-based methods become tractable. Expand

Safe Control under Uncertainty with Probabilistic Signal Temporal Logic

- Computer Science
- Robotics: Science and Systems
- 2016

This work proposes the new Probabilistic Signal Temporal Logic (PrSTL), an expressive language to define stochastic properties and enforce probabilistic guarantees on them, and presents an efficient algorithm to reason about safe controllers given the constraints derived from the PrSTL specification. Expand

Transfer Entropy in MDPs with Temporal Logic Specifications

- Computer Science
- 2018 IEEE Conference on Decision and Control (CDC)
- 2018

This work provides a method to synthesize a policy that minimizes the weighted sum of the transfer entropy and the probability of failure to satisfy the specification of high-level mission specifications. Expand

TuLiP: a software toolbox for receding horizon temporal logic planning

- Computer Science
- HSCC '11
- 2011

TuLiP applies the receding horizon framework, allowing the synthesis problem to be broken into a set of smaller problems, and consequently alleviating the computational complexity of the synthesis procedure, while preserving the correctness guarantee. Expand

Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications

- Computer Science
- 2019 American Control Conference (ACC)
- 2019

A new average-based robustness for Signal Temporal Logic (STL) and a framework for optimal control of a dynamical system under STL constraints is presented and its usefulness in control synthesis problems is illustrated through case studies. Expand

Probabilistic Temporal Logic for Motion Planning with Resource Threshold Constraints

- Computer Science
- Robotics: Science and Systems
- 2012

This work proposes an extension to probabilistic computation tree logic that expresses real-valued resource threshold constraints, and presents model-checking algorithms that evaluate a piecewise control policy with respect to a formal specification and hard or soft performance guarantees. Expand

Control Barrier Functions for Signal Temporal Logic Tasks

- Computer Science
- IEEE Control Systems Letters
- 2019

A framework that is based on control barrier functions and signal temporal logic is proposed, where the temporal properties are used to satisfy signal temporal Logic tasks and the resulting controller is given by a switching strategy between a computationally-efficient convex quadratic program and a local feedback control law. Expand