On the metric temporal logic for continuous stochastic processes

DOI10.46298/LMCS-20(2:14)2024MaRDI QIDQ6563061

Takayuki Kihara, Yoriyuki Yamagata, Mitsumasa Ikeda

Publication date: 27 June 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

stochastic calculusformal verificationtemporal logicmeasure theorystochastic systems

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Absolute continuity for some one-dimensional processes
• Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11--14, 2011. Proceedings
• Stochastic calculus for finance. II: Continuous-time models.
• A survey on temporal logics for specifying and verifying real-time systems
• A theory of sampling for continuous-time metric temporal logic
• The benefits of relaxing punctuality

This page was built for publication: On the metric temporal logic for continuous stochastic processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6563061)