联邦学习的相关资料，主要对最新问题进行了描述和应用场景的说明，用于对联邦学习相关概念和问题的理解与研...

关于线性时序逻辑的好资料，适合对于状态空间描述的学习者用。