Yongmei Liu

2

Papers

0

Total Citations

Papers (2)

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types

A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity