( en | de | ru )

 

Disambiguation of "Leahy, Kevin"

Author of the publication

copydeleteadd this publication to your clipboard
Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming.

, , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 191-206. Springer, (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

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)Towards Differential Privacy for Symbolic Systems., , and . ACC, page 372-377. IEEE, (2019)Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications., , , and . IEEE Robotics Autom. Lett., 7 (2): 1190-1197 (2022)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)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)STL: Surprisingly Tricky Logic (for System Validation)., , and . IROS, page 8613-8620. (2023)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)