DMCA. Copyrighted Work that you can Claim.
Base have 2315513 titles. Books: 2315513. Articles: 0
Search: 

Preview A Fully Automated Framework for Control of Linear Systems from ... pdf file

Volume 3927 of the series Lecture Notes in Computer Science pp 333-347. A Fully Automated Framework for Control of Linear Systems from LTL Specifications.



Related links: