|
|
| (17 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
|
| |
|
|
| |
| == Objectives ==
| |
|
| |
|
| |
|
| |
| Current Participants:
| |
|
| |
| *[http://www.cds.caltech.edu/people/portal/?id=758 Vanessa D. Carson] (Student, CDS)
| |
| *[http://www.cds.caltech.edu/~andyl/ Andrew Lamperski] (Student, CDS)
| |
| *[http://www.cds.caltech.edu/~dtarraf/ Danielle C.Tarraf] (Professor, Johns Hopkins)
| |
|
| |
| == Publications ==
| |
|
| |
| == Lectures ==
| |
|
| |
|
| |
| [http://www.cds.caltech.edu/%7Edoyle2/wiki/images/e/e3/MCAutomata.pdf "Model Checking with Automata"]
| |
|
| |
|
| |
| == Recommended Reading ==
| |