( en | de | ru )

 

Disambiguation of "Leahy, Kevin"

Author of the publication

copydeleteadd this publication to your clipboard
Robust Multi-Agent Coordination from CaTL+ Specifications.

, , , and . ACC, page 3529-3534. IEEE, (2023)

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 Thurley

Kevin Reddig

 

Other publications of authors with the same name

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)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)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)Data analytics for fault prediction and diagnosis in wind turbines.. University College Cork, Republic of Ireland, (2018)base-search.net (ftunivcollcork:oai:cora.ucc.ie:10468/7375).Robust Multi-Agent Coordination from CaTL+ Specifications., , , and . ACC, page 3529-3534. IEEE, (2023)