EECI 2012: Extensions, Applications, Open Questions

From Murray Wiki
Revision as of 15:07, 26 April 2012 by Murray (talk | contribs)
Jump to navigationJump to search

Return to Caltech/AFRL 2012 Main Page

This lecture is dedicated to further applications of temporal logic planning (one in vehicle management systems and one in smart camera networks) and extensions of the methodology based on a compositional synthesis procedure that partially alleviates the resulting computational complexity by exploiting the underlying networked structure. A sample of open issues are discussed.


Lecture Materials

Further Reading and Additional Material