Pith. sign in

REVIEW 3 cited by

Control with Probabilistic Signal Temporal Logic

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1510.08474 v1 pith:EX4CIRFF submitted 2015-10-28 cs.SY cs.LOcs.ROcs.SY

Chanyeol Yoo , Calin Belta This is my paper
classification cs.SYcs.LOcs.RO
keywords algorithmbeliefcontrollogicprobabilisticsignalspacessynthesis
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces. Designing such controllers is challenging due to computational complexity and the lack of expressivity of existing specification languages. In this paper, we propose a probabilistic extension to signal temporal logic (STL) that expresses tasks over continuous belief spaces. We present an efficient synthesis algorithm to find a control input that maximises the probability of satisfying a given task. We validate our algorithm through simulations of an unmanned aerial vehicle deployed for surveillance and search missions.

Discussion (0). Sign in to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems

    cs.RO 2026-06 unverdicted novelty 6.0 of 10

    pdSTL unifies probabilistic semantics with differentiable robustness measures for STL over belief trajectories, enabling linear-time monitoring and optimization for stochastic robotic systems.

  2. pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis

    cs.LO 2025-11 conditional novelty 6.0 of 10

    pacSTL composes PAC-bounded reachable sets with interval STL to compute spec-level robustness intervals that contain an unseen trajectory's robustness with probability ≥ 1−ε.

  3. Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study

    cs.RO 2026-08 conditional novelty 5.0 of 10

    A monitoring framework based on pacSTL and data-driven reachable sets, with a sim-to-real disturbance calibration, enables real-time COLREG compliance monitoring and earlier collision avoidance.

Pith tools