DMCA

A fully automated framework for control of linear systems from ltl specifications (2006)

Cached

Download Links

by Marius Kloetzer , Calin Belta
Venue:In HSCC, volume 3927 of LNCS
Citations:145 - 32 self