Alice Miller
论文数
5
总引用数
38
H-Index
3
关于
暂无简介。
研究焦点
Computer science5 · 38 次引用
Artificial intelligence5 · 38 次引用
Robot4 · 25 次引用
Set (abstract data type)2 · 19 次引用
Autonomy2 · 16 次引用
Autonomous agent2 · 16 次引用
Cartography2 · 16 次引用
Mathematics2 · 16 次引用
Scale (ratio)2 · 16 次引用
Computer vision1 · 13 次引用
Autonomous system (mathematics)1 · 13 次引用
Algorithm1 · 13 次引用
主要成就
3
H 指数
5
论文
38
总引用数
8
篇均引用
🏆 最高被引论文
Autonomous Agent Behaviour Modelled in PRISM – A Case Study
13 次引用 · 2016
📈 最高产年份: 2016 (2 论文)
🤝 主要合作者: 13
🏛 所属机构: University of Glasgow
代表论文
- 1
- 2
- 3Formal Modeling of Robot Behavior with Learning6 次引用 · 2013
- 4Abstraction for model checking robot behaviour3 次引用 · 2011
- 5
主要合作者
RFRyan Fraser Kirwan2 篇合著论文GNGethin Norman2 篇合著论文RHR. Hoffmann2 篇合著论文SMSándor M. Veres2 篇合著论文MIMurray Ireland2 篇合著论文PDPaolo Di Prodi1 篇合著论文KKKelvin K. L. Wong1 篇合著论文OWOluwarotimi Williams Samuel1 篇合著论文BPBernd Porr1 篇合著论文MGMojisola Grace Asogbon1 篇合著论文YLYu Lu1 篇合著论文GLGuanglin Li1 篇合著论文LJLiwen Jing1 篇合著论文
尚未生成