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