1 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Xishun Zhao, Yuping Shen
In this paper a proof system is developed for plan verification problems {X}c{Y} and {X}c{KWp} under 0-approximation semantics for AK. Here, for a plan $…