output
20132024
most citedPaired Ru-O-Mo ensemble for efficient and stable alkaline hydrogen evolution reaction

130 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2016★ 6 cited

A Dynamic Epistemic Framework for Conformant Planning

Quan Yu, Yanjun Li, Yanjing Wang

In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning…