6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Marc Daumas, David Lester, Erik Martin-Dorel +1
We provide a framework to bound the probability that accumulated errors were never above a given threshold on hybrid systems. Such systems are used for example to model an aircraft…