5 citations · 9 across the 4 of their papers we have counts for
1 paper · 1 filter
Daisuke Ishii, Alexandre Goldsztejn
We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis t…