1 paper
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…