Logical Foundations of Cyber-Physical Systems (Fa'19)
Visualizer and debugging for keymaxra X models of CPS (work from CMU students) 👍
My self progress:
-
Update to Chapter2. 2021/3/13
-
Update to Chapter3. 2021/3/16
-
Update to Chapter4. 2021/3/18
-
Update to Chapter5. 2021/3/20
-
Update to Chapter6. (Lab1) 2021/3/28
- Lab1 contains a simple interpreter for FOL formulas. Both cpp and java versions are provided!
-
Update to Chapter7. 2021/3/30
-
Update to Chapter8. 2021/4/2
-
Update to Chapter9. 2021/4/5
-
Update to Chapter10. (Lab2) 2021/4/13
-
Update to Chapter11. 2021/4/17
-
Update to Chapter12. (Lab3) 2021/4/20
-
Update to Chapter13. 2021/4/20
-
Update to Chapter14. 2021/4/23
-
Update to Chapter15. 2021/4/27
-
Update to Chapter16. 2021/5/15
-
Update to Chapter17. (Lab4) 2021/5/17
-
Update to Chapter18. 2021/5/20
-
Update to Chapter19. 2021/5/21
-
Update to Chapter20. 2021/5/24