"Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution ..."

Yuichi Tazaki, Jun-ichi Imura (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics