Language for planning problems STRIPS: STanford Research Institute Problem Solver world described by logical conditions state as conjunction of positive.
PhD Topic - Short version
1 Distributed Systems CS 425 / CSE 424 / ECE 428 Global Snapshots Reading: Sections 11.5 (4 th ed), 14.5 (5 th ed) 2010, I. Gupta, K. Nahrtstedt, S.
D 3 S: Debug Deployed Distributed Systems Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, Zheng Zhang.
