Verification: Difference between revisions
Jump to navigation
Jump to search
| Line 19: | Line 19: | ||
== | == Related Reading == | ||
* E. Klavins, R. Ghrist, and D. Lipsky, Graph Grammars for Self-Assembling Robotic Systems, Proceedings of the International Conference on Robotics and Automation. May, 2004, pp. 5293- 5300 [http://faculty.washington.edu/klavins/papers/icra04-sa.pdf "pdf"] | |||
Revision as of 23:32, 21 May 2008
Objectives
Current Participants:
- Vanessa D. Carson (Student, CDS)
- Andrew Lamperski (Student, CDS)
- Danielle C.Tarraf (Professor, Johns Hopkins)
Publications
Lectures
"Model Checking with Automata"
Related Reading
- E. Klavins, R. Ghrist, and D. Lipsky, Graph Grammars for Self-Assembling Robotic Systems, Proceedings of the International Conference on Robotics and Automation. May, 2004, pp. 5293- 5300 "pdf"