MURI Telecon 2005-07-27: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
(No difference)
|
Latest revision as of 01:02, 28 July 2005
Outline of Proposal
Partnerships
JPL involvement
- Mani will contact Gerard; Joshi is on board
- SPIN
SRI involvement
- Richard will contact Pat Lincoln, cc'd to Mani. Mention Shankar
- PVS experience with tactics; could incorporate this into SoS
- Using PVS to carry out SoS proofs
Honeywell
- Sonja and Datta
- More of a customer
Boeing
- Sean Callahan
We expect to have several types of interactions, including working meetings.
