Temporal logic verification of stochastic systems using barrier certificates

DOI10.1007/978-3-030-01090-4_11zbMath1517.68242arXiv1807.00064OpenAlexW2810334434MaRDI QIDQ6109588

Sadegh Soudjani, Pushpak Jagtap, Majid Zamani

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.00064

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (5)

A barrier function approach to finite-time stochastic system verification and control ⋮ k-Inductive Barrier Certificates for Stochastic Systems ⋮ Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications ⋮ Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey

This page was built for publication: Temporal logic verification of stochastic systems using barrier certificates