Leahy, Kevin
- Differentially Private LQ Control
2018/07/12 by Yazdani, Kasra, Jones, Austin, Leahy, Kevin +1 · 4 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC)
- Differential Privacy for Symbolic Systems with Application to Markov Chains
2022/02/07 by Bo Chen, Chen, Bo, Kevin Leahy +5 · 3 citations
Computer Science · Mathematics · #Cryptography and Security (cs.CR) #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Electrical engineering #Privacy-Preserving Technologies in Data #Stochastic processes and statistical mechanics #Symbolic Computation (cs.SC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Robust Multi-Agent Coordination from CaTL+ Specifications
2022/10/04 by Liu, Wenliang, Leahy, Kevin, Serlin, Zachary +1 · 2 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
2023/10/12 by Cardona, Gustavo A., Leahy, Kevin, Mann, Makai +1 · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Robotics (cs.RO)
- Towards Differential Privacy for Symbolic Systems
2018/09/23 by Jones, Austin, Leahy, Kevin, Hale, Matthew · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC)
- Grand Challenges in the Verification of Autonomous Systems
2024/11/21 by Leahy, Kevin, Asgari, Hamid, Dennis, Louise A. +6 · 3 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
2022/10/03 by Mingyu Cai, Cai, Mingyu, Makai Mann +7 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Optimization and Control (math.OC) #Robotics (cs.RO) #Software Testing and Debugging Techniques
- Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
2024/08/08 by Taylor Bergeron, Bergeron, Taylor, Zachary Serlin +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Model-Driven Software Engineering Techniques #Robotics (cs.RO)
- Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards
2024/11/26 by Ahmad Ahmad, Mehdi Kermanshah, Ahmad, Ahmad +15 · 1 citation
Computer Science · #Intelligent Tutoring Systems and Adaptive Learning #IoT and Edge/Fog Computing #Software Reliability and Analysis Research
- Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
2025/03/10 by Chatrola, Jeel, Ajith, Abhiroop, Leahy, Kevin +1 · 1 citation
#FOS: Computer and information sciences #Robotics (cs.RO)