9 citations · 20 across the 13 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 continuous systems. In this paper, we propose an interval method that verifies th…