Commits · master · Johannes Maas / MoPro Cheatsheet

Feb 16, 2019
- Pass · b1734f2a
  Y0hy0h authored 6 years ago
  
  b1734f2a
- Pass · 874227cc
  Y0hy0h authored 6 years ago
  
  874227cc
- Pass · 2ec1b4d2
  Y0hy0h authored 6 years ago
  
  2ec1b4d2
- Pass · ba555da0
  Y0hy0h authored 6 years ago
  
  ba555da0
- Improve PAs · bee02f4c
  Y0hy0h authored 6 years ago
  
  bee02f4c
- Remove slide selections · fbc524c5
  Y0hy0h authored 6 years ago
  
  fbc524c5
Feb 15, 2019
- Finish first pass · 1f86b7c6
  Y0hy0h authored 6 years ago
  
  1f86b7c6
- Add · 81148b56
  Y0hy0h authored 6 years ago
  
  81148b56
- Improve CTMC · 1b0032cc
  Y0hy0h authored 6 years ago
  
  1b0032cc
- Add CTMCs · da4defcb
  Y0hy0h authored 6 years ago
  
  da4defcb
Feb 14, 2019
- Add MDPs · 907ea1c3
  Y0hy0h authored 6 years ago
  
  907ea1c3
- Add Bisimulation · 03ccfeb0
  Y0hy0h authored 6 years ago
  
  03ccfeb0
- Add slide selections · 271ea86b
  Y0hy0h authored 6 years ago
  
  271ea86b
- Add PCTL · 9eadfef0
  Y0hy0h authored 6 years ago
  
  9eadfef0
- Add slide selections · bd903a11
  Y0hy0h authored 6 years ago
  
  bd903a11
Feb 13, 2019
- Add stuff · 0d81dff9
  Y0hy0h authored 6 years ago
  
  0d81dff9
- Add slide selections · 2be73ff8
  Y0hy0h authored 6 years ago
  
  2be73ff8
- Add slide selections · 06eb12ed
  Y0hy0h authored 6 years ago
  
  06eb12ed
- Improve · 8959199a
  Y0hy0h authored 6 years ago
  
  8959199a
- Add almost sure reachability · fe5a676d
  Y0hy0h authored 6 years ago
  
  fe5a676d
- Add slide selections · 91547fb5
  Y0hy0h authored 6 years ago
  
  91547fb5
- Rewrite · beea5fef
  Y0hy0h authored 6 years ago
  
  beea5fef
- Add stuff · 24273030
  Y0hy0h authored 6 years ago
  
  24273030
- Add slides selection · f7d26bdd
  Y0hy0h authored 6 years ago
  
  f7d26bdd
- Add slide selections · acdb3ac9
  Y0hy0h authored 6 years ago
  
  acdb3ac9
Feb 12, 2019
- Add state residence · 316ed147
  Y0hy0h authored 6 years ago
  
  316ed147
Feb 11, 2019
- Make definitions stand out more · dc27eb70
  Y0hy0h authored 6 years ago
  
  dc27eb70
- Define DTMCs · d664f33d
  Y0hy0h authored 6 years ago
  
  d664f33d
- Use new style · 94620e7b
  Y0hy0h authored 6 years ago
  
  94620e7b
Dec 17, 2018
- Add timed cylinder sets def · e825fa2e
  Y0hy0h authored 6 years ago
  
  e825fa2e
- Improve definitions · 6cfe714b
  Y0hy0h authored 6 years ago
  
  6cfe714b
- Add CTMC def · c25cac26
  Y0hy0h authored 6 years ago
  
  c25cac26
- Init PDF · bca5c35d
  Y0hy0h authored 6 years ago
  
  bca5c35d
- Fix .gitignore · 3c813a56
  Y0hy0h authored 6 years ago
  
  3c813a56
- Remove unneeded files · 06305477
  Y0hy0h authored 6 years ago
  
  06305477
Jun 26, 2018
- Merge pull request #133 from youam/patch-1 · d7017ab1
  Kevin Godby authored 6 years ago
  d7017ab1
Apr 19, 2018
- Remove typo from sample-handout · 045a1dc2
  Uli Martens authored 7 years ago
  
  045a1dc2
Jan 26, 2016
- To simplify, treat i.e., and e.g., as full fledged citizens of the English... · 85b49a3f
  Bil Kleb authored 9 years ago
  85b49a3f
- To update UK TeX FAQ link. · 8381a898
  Bil Kleb authored 9 years ago
  
  8381a898
Dec 13, 2015
- Merge pull request #106 from adunning/patch-1 · 2b4b4421
  Kevin Godby authored 9 years ago
  2b4b4421