A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

DOI PDF 1 Citations

Journal

IEEE Transactions on Automatic Control

IEEE Transactions on Automatic Control 53 (1), 287-297, 2008-02

Institute of Electrical and Electronics Engineers (IEEE)

Citations (1)*help

See more

Details 詳細情報について

CRID

1362544420142239616
DOI

10.1109/tac.2007.914952
ISSN

00189286
Web Site

http://xplorestaging.ieee.org/ielx5/9/4456539/04459804.pdf?arnumber=4459804
Data Source
- Crossref

Export

Report a problem

Back to top