( en | de | ru )

 

Disambiguierung von "Leahy, Kevin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robust Multi-Agent Coordination from CaTL+ Specifications.

, , , und . ACC, Seite 3529-3534. IEEE, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Breandán Leahy

Angela Leahy

Alexander Ali Kevin

Kevin Thurley

Kevin Niwek

 

Weitere Publikationen von Autoren mit dem selben Namen

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications., , , und . IEEE Robotics Autom. Lett., 7 (2): 1190-1197 (2022)Towards Differential Privacy for Symbolic Systems., , und . ACC, Seite 372-377. IEEE, (2019)Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints., , , , , und . ISER, Volume 109 von Springer Tracts in Advanced Robotics, Seite 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., und . CoRR, (2024)Development and application of a machine learning supported methodology for measurement and verification (M&V) 2.0., , , , und . CoRR, (2018)Implementing the Green Batch: A case study: Continuous statistical evaluation to achieve the most energy efficient and reliable process., , und . ETFA, Seite 1-4. IEEE, (2014)ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications., , , , , , und . ISRR, Volume 20 von Springer Proceedings in Advanced Robotics, Seite 224-241. Springer, (2019)STL: Surprisingly Tricky Logic (for System Validation)., , und . IROS, Seite 8613-8620. (2023)Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming., , und . NFM, Volume 13903 von Lecture Notes in Computer Science, Seite 191-206. Springer, (2023)Rewrite-Based Decomposition of Signal Temporal Logic Specifications., , und . NFM, Volume 13903 von Lecture Notes in Computer Science, Seite 224-240. Springer, (2023)