True Equalization of PDL in Presence of Fast RSOP.

Nan Cui Xiaoguang Zhang Nannan Zhang Xianfeng Tang Lixia Xi

Published in: OFC (2020)

Keyphrases

real world
information retrieval
databases
social networks
decision trees
high level
reinforcement learning
image analysis
counter intuitive
propositional dynamic logic