Lavindra de Silva

🏛 所属机构: Laboratoire d'Analyse et d'Architecture des Systèmes, University of Nottingham, Centre National de la Recherche Scientifique, Bridge University, University of Cambridge

代表论文

1
HATP: An HTN Planner for Robotics
41 次引用 · 2014
2
Rigorous design of robot software: A formal component-based approach
33 次引用 · 2012
3
An interface for interleaved symbolic-geometric planning and backtracking
29 次引用 · 2013
4
The HATP hierarchical planner: Formalisation and an initial study of its usability and practicality
27 次引用 · 2015
5
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
20 次引用 · 2011
6
A new approach to combined symbolic-geometric backtracking in the context of human-robot interaction
15 次引用 · 2014
7
A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems
11 次引用 · 2011
8
Process Plan Controllers for Non-Deterministic Manufacturing Systems
10 次引用 · 2017
9
CAMHighways: The Cambridge Highways dataset
8 次引用 · 2024
10
Highway digital twin-enabled Autonomous Maintenance Plant: a perspective
7 次引用 · 2024

尚未生成