"A direct quantifier elimination approach for offline multi-rate predictive ..."

Yoshio Tange, Satoshi Kiryu, Tetsuro Matsui (2014)

Details and statistics

DOI: 10.1109/MED.2014.6961403

access: closed

type: Conference or Workshop Paper

metadata version: 2019-03-13

a service of  Schloss Dagstuhl - Leibniz Center for Informatics