Verification: Difference between revisions
Jump to navigation
Jump to search
| Line 26: | Line 26: | ||
=== Model Checking and Cellular Automata === | === Model Checking and Cellular Automata === | ||
* K.Sutner Model Checking One-Dimensional Cellular Automata, Submitted JCA. [www.cs.cmu.edu/~sutner/papers/auto07-jca.pdf "pdf"] | * K.Sutner Model Checking One-Dimensional Cellular Automata, Submitted JCA. [[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. [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. [[www.cs.unipr.it/CILC04/ DownloadArea/DAntonioD-CILC04.pdf "pdf"]] | ||
Revision as of 23:57, 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
- 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"
Model Checking and Cellular Automata
- K.Sutner Model Checking One-Dimensional Cellular Automata, Submitted JCA. 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. www.cs.unipr.it/CILC04/ DownloadArea/DAntonioD-CILC04.pdf "pdf"