Travelled to:
1 × USA
Collaborated with:
M.H.Bowling P.McCracken J.Neufeld D.F.Wilkinson Zheng Guo David Justo Jiaxiao Zhou Ziteng Wang R.Jhala N.Polikarpova
Talks about:
represent (1) synthesi (1) abstract (1) program (1) predict (1) polici (1) state (1) refin (1) learn (1) blind (1)
Person: Michael James
DBLP: James:Michael
Contributed to:
Wrote 2 papers:
- ICML-2006-BowlingMJNW #learning #policy #predict #using
- Learning predictive state representations using non-blind policies (MHB, PM, MJ, JN, DFW), pp. 129–136.
- POPL-2020-GuoJJZWJP #abstraction #refinement #synthesis
- Program synthesis by type-guided abstraction refinement (ZG, MJ, DJ, JZ, ZW, RJ, NP), p. 28.