A. Santana‐Alonso
论文数
3
总引用数
70
H-Index
2
关于
暂无简介。
研究焦点
主要成就
2
H 指数
3
论文
70
总引用数
23
篇均引用
🏆 最高被引论文
WatchBot: A building maintenance and surveillance system based on autonomous robots
56 次引用 · 2013
📈 最高产年份: 2013 (1 论文)
🤝 主要合作者: 4
🏛 所属机构: Universidade de Vigo
代表论文
- 1
- 2
- 3
主要合作者
相关论文
- Formal Verification for Task Description Languages. A Petri Net Approach
- Middleware Control Systems Design and Analysis Using Message Interpreted Petri Nets (MIPN)
- Distributed Petri nets for model-driven verifiable robotic applications in ROS
- Modelling, analysis and execution of multi-robot tasks using Petri nets
- DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets
该领域研究者
相关实验室
按主题相关度自动匹配，非广告或背书。
尚未生成