Selected Publications

A key approach to state abstraction is approximating behavioral metrics (notably, bisimulation metrics) in the observation space and …

Developing agents capable of exploring, planning and learning in complex open-ended environments is a grand challenge in artificial …

Constrained Horn Clause (CHC) is a universal format for formal verification problems. It is of great importance because it is …

Human mobility prediction is an important task in the field of spatiotemporal sequential data mining and urban computing. Despite the …

To achieve good result quality and short query response time, search engines use specific match plans on Inverted Index to help …