( en | de | ru )

 

Disambiguation of "Leahy, Kevin"

Author of the publication

copydeleteadd this publication to your clipboard
Control in belief space with Temporal Logic specifications.

, , , , , and . CDC, page 7419-7424. IEEE, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Breandán Leahy

Angela Leahy

Alexander Ali Kevin

Kevin Niwek

Kevin Thurley

 

Other publications of authors with the same name

Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints., , , , , and . ISER, volume 109 of Springer Tracts in Advanced Robotics, page 605-619. Springer, (2014)Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications., , , and . IEEE Robotics Autom. Lett., 7 (2): 1190-1197 (2022)Towards Differential Privacy for Symbolic Systems., , and . ACC, page 372-377. IEEE, (2019)Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots., and . CoRR, (2024)Implementing the Green Batch: A case study: Continuous statistical evaluation to achieve the most energy efficient and reliable process., , and . ETFA, page 1-4. IEEE, (2014)Development and application of a machine learning supported methodology for measurement and verification (M&V) 2.0., , , , and . CoRR, (2018)STL: Surprisingly Tricky Logic (for System Validation)., , and . IROS, page 8613-8620. (2023)ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications., , , , , , and . ISRR, volume 20 of Springer Proceedings in Advanced Robotics, page 224-241. Springer, (2019)Robust Multi-Agent Coordination from CaTL+ Specifications., , , and . ACC, page 3529-3534. IEEE, (2023)Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications., , , , and . ACC, page 1446-1452. IEEE, (2023)