Corpus ID: 234482986

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}
}
  • Ki Myung Brian Lee, C. Yoo, R. Fitch
  • Published 2021
  • Computer Science
  • ArXiv
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

Figures from this paper

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

References

SHOWING 1-10 OF 31 REFERENCES
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
Control with Probabilistic Signal Temporal Logic
Control in belief space with Temporal Logic specifications
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
Transfer Entropy in MDPs with Temporal Logic Specifications
Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications
Control Barrier Functions for Signal Temporal Logic Tasks
...
1
2
3
4
...