Christian Muise
University of Toronto, Massachusetts Institute of Technology, Queen's University
论文数
3
总引用数
63
H-Index
3
关于
暂无简介。
研究焦点
主要成就
3
H 指数
3
论文
63
总引用数
21
篇均引用
🏆 最高被引论文
Computing Contingent Plans via Fully Observable Non-Deterministic Planning
48 次引用 · 2014
📈 最高产年份: 2014 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: University of Toronto, Massachusetts Institute of Technology, Queen's University
代表论文
- 1
- 2SynKit: LTL Synthesis as a Service12 次引用 · 2018
- 3
主要合作者
尚未生成