Donghuo Chen

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 2

Top Topics

Continuous Space

Reinforcement Learning Algorithms

Top Venues

Comput. Sci. Inf. Syst.

ACM Trans. Cyber Phys. Syst.

Publications

Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen
Event-Based Mobility Modeling and Analysis. ACM Trans. Cyber Phys. Syst. 1 (2) (2017)
Fei Zhu, Haijun Zhu, Yuchen Fu, Donghuo Chen, Xiaoke Zhou
A kernel based true online Sarsa(λ) for continuous space control problems. Comput. Sci. Inf. Syst. 14 (3) (2017)
Donghuo Chen, Guangquan Zhang, Jinzhao Wu
QCTL: A Logic for Reasoning about Inconsistent Concurrent Systems. TASE (2007)
Donghuo Chen, Jinzhao Wu
Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic. Electron. Notes Theor. Comput. Sci. 157 (1) (2006)
Donghuo Chen, Jinzhao Wu
Reasoning About Inconsistent Concurrent Systems: A Non-classical Temporal Logic. SOFSEM (2006)
Jianmin Jiang, Jinzhao Wu, Donghuo Chen
Symmetry in event structures. SAC (2006)