<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-12-09 14:17:30AUCTEX RefTeX TeX Vi GNU XEmacs Emacs Lisp Software Application software Emacs |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2007-12-09 14:17:30AUCTEX RefTeX TeX Vi GNU XEmacs Emacs Lisp Software Application software Emacs |
Add to Reading List |
Writing (LA)TEX documents with AUCTEX in Emacs David Kastrup dak (at) gnu dot org Abstract At the time of the abstract deadline, several pretest versions of Emacs 22 have
![Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics ? Chuchu Fan1[0000−0003−4671−233X] , Umang Mathur1[0000−0002−7610−0660] , Sayan Mitra1[0000−0001−7082−5516] , and Mahesh Vi](https://www.pdfsearch.io/img/dfaf75deff2a4c9278351a9809d07f6b.jpg "Controller Synthesis Made Real: Reach-avoid Specifications and Linear Dynamics ? Chuchu Fan1[0000−0003−4671−233X] , Umang Mathur1[0000−0002−7610−0660] , Sayan Mitra1[0000−0001−7082−5516] , and Mahesh Vi")
