9 citations · 17 across the 3 of their papers we have counts for
1 paper · 1 filter
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…