9 citations · 9 across the 2 of their papers we have counts for
3 papers · 1 filter
Monitoring Temporal Properties using Interval Analysis
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
Verification of temporal logic properties plays a crucial role in proving the desired behaviors of continuous systems. In this paper, we propose an interval method that verifies th…
Monitoring Bounded LTL Properties Using Interval Analysis
Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
Verification of temporal logic properties plays a crucial role in proving the desired behaviors of hybrid systems. In this paper, we propose an interval method for verifying the pr…
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and contin…