Login / Signup
Peiming Mo
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Decision Theoretic Planning
Intermediate Level
Data Abstraction
Automatic Programming
Top Venues
ECAI
</>
Publications
</>
Peiming Mo
,
Naiqi Li
,
Yongmei Liu
Automatic Verification of Golog Programs via Predicate Abstraction.
ECAI
(2016)