"A formally verified hybrid system for safe advisories in the ..."

Jean-Baptiste Jeannin et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics