Verification of Stochastic Systems Under Signal Temporal Logic Specifications

Liqian Ma; Zishun Liu; Hongzhe Yu; Yongxin Chen

doi:10.1109/lcsys.2025.3567554

ScienceGate Book Chapters

JOURNAL ARTICLE

Verification of Stochastic Systems Under Signal Temporal Logic Specifications

Liqian Ma Zishun Liu Hongzhe Yu Yongxin Chen

Year: 2025 Journal: IEEE Control Systems Letters Vol: 9 Pages: 150-155 Publisher: Institute of Electrical and Electronics Engineers

DOI: 10.1109/lcsys.2025.3567554

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science Temporal logic SIGNAL (programming language) Programming language

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.13

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Semantic Web and Ontologies

Physical Sciences → Computer Science → Artificial Intelligence

Verification of Stochastic Systems Under Signal Temporal Logic Specifications

Metrics

Topics

Related Documents

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications

Online control synthesis for uncertain systems under signal temporal logic specifications

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems

Risk of Stochastic Systems for Temporal Logic Specifications