Verification: Difference between revisions
Jump to navigation
Jump to search
| Line 25: | Line 25: | ||
* 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"] | * 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"] | ||
=== Model Checking | === Model Checking on Cellular Automata === | ||
* K.Sutner Model Checking One-Dimensional Cellular Automata, Submitted JCA. [http://www.cs.cmu.edu/~sutner/papers/auto07-jca.pdf pdf] | * K.Sutner, Model Checking One-Dimensional Cellular Automata, Submitted JCA. [http://www.cs.cmu.edu/~sutner/papers/auto07-jca.pdf pdf] | ||
* M. D'Antonio, G. Delzanno, SAT-based analysis of cellular automata, Lecture Notes in Computer Science, Volume 3305/2004, 2004. [http://www.cs.unipr.it/CILC04/DownloadArea/DAntonioD-CILC04.pdf pdf] | * M. D'Antonio, G. Delzanno, SAT-based analysis of cellular automata, Lecture Notes in Computer Science, Volume 3305/2004, 2004. [http://www.cs.unipr.it/CILC04/DownloadArea/DAntonioD-CILC04.pdf pdf] | ||
Revision as of 00:00, 22 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
- D. C. Tarraf, A. Megretski and M. A. Dahleh, A Framework for Robust Stability of Systems Over Finite Alphabets, To appear in IEEE Transactions on Automatic Control, June 2008.
- 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"