A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
収録刊行物
-
- IEEE Transactions on Automatic Control
-
IEEE Transactions on Automatic Control 53 (1), 287-297, 2008-02
Institute of Electrical and Electronics Engineers (IEEE)
