Axel Legay

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Navigation assistance and guidance of older adults across complex public spaces: the DALi approach

   72 次引用 · 2015
2. 2
   Statistical model checking: challenges and perspectives

   32 次引用 · 2015
3. 3
   Efficient customisable dynamic motion planning for assistive robots in complex human environments

   28 次引用 · 2015
4. 4
   Motion planning in crowds using statistical model checking to enhance the social force model

   24 次引用 · 2013
5. 5
   Component-based verification using incremental design and invariants

   18 次引用 · 2014
6. 6
   Behavioural templates improve robot motion planning with social force model in human environments

   14 次引用 · 2013
7. 7
   A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems

   11 次引用 · 2011
8. 8
   Statistical Model Checking with Change Detection

   7 次引用 · 2016
9. 9
   Model driven design of secure properties for vision-based applications: A case study

   7 次引用 · 2016
10. 10
    Product Incremental Security Risk Assessment Using DevSecOps Practices

    6 次引用 · 2023

主要合作者