Kevin Leahy

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)

   58 次引用 · 2021
2. 2
   Control in belief space with Temporal Logic specifications

   32 次引用 · 2016
3. 3
   Control in belief space with temporal logic specifications using vision-based localization

   16 次引用 · 2019
4. 4
   Distributed information gathering policies under temporal logic constraints

   16 次引用 · 2015
5. 5
   Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications

   10 次引用 · 2021
6. 6
   Distributed Sensing Subject to Temporal Logic Constraints

   8 次引用 · 2018
7. 7
   Temporal Logic Swarm Control with Splitting and Merging

   7 次引用 · 2023
8. 8
   Informative path planning under temporal logic constraints with performance guarantees

   6 次引用 · 2017
9. 9
   Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints

   4 次引用 · 2017
10. 10
    Verification of Autonomous Systems [TC Spotlight]

    2 次引用 · 2022

主要合作者