more papers
Merge pull request #2 from ravichugh/master

more papers
Update README.md
adsasd
model checking
asdasd
updating plan
updating plan
asd
asasd
asdasd
misc additions
add slides
asdasd
hmm.
fixing wierd permissions issue
asdads
As
asd
Aasdad