Kevin Leahy - RankMe

54 papers A* 2A 2C 7Journal 31Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Real-Time Optical Communication Using Event-Based Vision with Moving Transmitters. CoRR Harmeet Dhillon, Pranay Katyal, Brendan Long, Rohan Walia, Matthew Cleaveland, Kevin Leahy
2025	—	`conf`	Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. L4DC Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2025	J	`jnl`	Belief Space Control of Safety-Critical Systems Under State-Dependent Measurement Noise. CoRR Rohan Walia, Mitchell Black, Andrew Schoer, Kevin Leahy
2025	—	`conf`	Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints. HSCC Jeel Chatrola, Abhiroop Ajith, Kevin Leahy, Constantinos Chamzas
2025	J	`jnl`	Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints. CoRR Jeel Chatrola, Abhiroop Ajith, Kevin Leahy, Constantinos Chamzas
2025	J	`jnl`	Open-World Verification: A Grand Challenge for Autonomous Systems. Proc. IEEE Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2025	J	`jnl`	Risk Mitigation for Interval Signal Temporal Logic Monitoring and Synthesis. IEEE Control. Syst. Lett. Luke Baird, Andrew Schoer, Matthew Cleaveland, Samuel Coogan, Kevin Leahy
2024	J	`jnl`	Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards. CoRR Ahmad Ahmad, Mehdi Kermanshah, Kevin Leahy, Zachary Serlin, Ho Chit Siu, Makai Mann, Cristian-Ioan Vasile, Roberto Tron, Calin Belta
2024	J	`jnl`	Grand Challenges in the Verification of Autonomous Systems. CoRR Kevin Leahy, Hamid Asgari, Louise A. Dennis, Martin S. Feather, Michael Fisher, Javier Ibañez-Guzmán, Brian Logan, Joanna I. Olszewska, Signe A. Redfield
2024	J	`jnl`	Graph Q-Learning for Combinatorial Optimization. CoRR Victoria Magdalena Dax, Jiachen Li, Kevin Leahy, Mykel J. Kochenderfer
2024	A*	`conf`	Run-Time Task Composition with Safety Semantics. ICML Kevin Leahy, Makai Mann, Zachary Serlin
2024	J	`jnl`	Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots. CoRR Kevin Leahy, Ho Chit Siu
2024	J	`jnl`	Temporal Logic Planning via Zero-Shot Policy Composition. CoRR Taylor Bergeron, Zachary Serlin, Kevin Leahy
2024	C	`conf`	Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. ACC Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta
2023	J	`jnl`	A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo. CoRR Gustavo A. Cardona, Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
2023	—	`conf`	CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. L4DC Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2023	—	`conf`	Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming. NFM Alexandra Forsey-Smerek, Ho Chit Siu, Kevin Leahy
2023	J	`jnl`	Differential privacy for symbolic systems with application to Markov Chains. Autom. Bo Chen, Kevin Leahy, Austin Jones, Matthew Hale
2023	J	`jnl`	Differentially Private LQ Control. IEEE Trans. Autom. Control. Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew T. Hale
2023	C	`conf`	Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. ACC Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2023	—	`conf`	Rewrite-Based Decomposition of Signal Temporal Logic Specifications. NFM Kevin Leahy, Makai Mann, Cristian-Ioan Vasile
2023	C	`conf`	Robust Multi-Agent Coordination from CaTL+ Specifications. ACC Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2023	A	`conf`	STL: Surprisingly Tricky Logic (for System Validation). IROS Ho Chit Siu, Kevin Leahy, Makai Mann
2023	J	`jnl`	STL: Surprisingly Tricky Logic (for System Validation). CoRR Ho Chit Siu, Kevin Leahy, Makai Mann
2023	J	`jnl`	Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning. CoRR Kevin Leahy, Makai Mann, Zachary Serlin
2023	A*	`conf`	Temporal Logic Swarm Control with Splitting and Merging. ICRA Gustavo A. Cardona, Kevin Leahy, Cristian-Ioan Vasile
2023	J	`jnl`	Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control. CoRR Max H. Cohen, Makai Mann, Kevin Leahy, Calin Belta
2022	J	`jnl`	CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications. CoRR Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2022	—	`conf`	Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models. CASE Nathan Vaska, Kevin Leahy, Victoria Helus
2022	J	`jnl`	Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models. CoRR Nathan Vaska, Kevin Leahy, Victoria Helus
2022	J	`jnl`	Differential Privacy for Symbolic Systems with Application to Markov Chains. CoRR Bo Chen, Kevin Leahy, Austin Jones, Matthew T. Hale
2022	J	`jnl`	Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. IEEE Robotics Autom. Lett. Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
2022	J	`jnl`	Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications. CoRR Mingyu Cai, Makai Mann, Zachary Serlin, Kevin Leahy, Cristian-Ioan Vasile
2022	J	`jnl`	Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications. IEEE Robotics Autom. Lett. Mingyu Cai, Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile
2022	J	`jnl`	Robust Multi-Agent Coordination from CaTL+ Specifications. CoRR Wenliang Liu, Kevin Leahy, Zachary Serlin, Calin Belta
2022	J	`jnl`	Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). IEEE Trans. Robotics Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta
2022	J	`jnl`	Verification of Autonomous Systems [TC Spotlight]. IEEE Robotics Autom. Mag. Dejanira Araiza-Illan, Michael Fisher, Kevin Leahy, Joanna Isabelle Olszewska, Signe A. Redfield
2020	J	`jnl`	Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. CoRR Kevin Leahy, Austin Jones, Cristian Ioan Vasile
2019	J	`jnl`	Control in belief space with temporal logic specifications using vision-based localization. Int. J. Robotics Res. Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, Calin Belta
2019	C	`conf`	ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. ISRR Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta
2019	C	`conf`	Towards Differential Privacy for Symbolic Systems. ACC Austin Jones, Kevin Leahy, Matthew T. Hale
2019	J	`jnl`	Tracking a Markov Target in a Discrete Environment With Multiple Sensors. IEEE Trans. Autom. Control. Kevin Leahy, Mac Schwager
2018	J	`jnl`	Differentially Private LQ Control. CoRR Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew Hale
2018	A	`conf`	Distributed Sensing Subject to Temporal Logic Constraints. IROS Zachary T. Serlin, Kevin Leahy, Roberto Tron, Calin Belta
2018	C	`conf`	Privacy in Feedback: The Differentially Private LQG. ACC Matthew T. Hale, Austin Jones, Kevin Leahy
2018	J	`jnl`	Towards Differential Privacy for Symbolic Systems. CoRR Austin Jones, Kevin Leahy, Matthew T. Hale
2017	C	`conf`	Semi-supervised pattern synthesis in spatially distributed dynamical systems. ACC Iman Haghighi, Kevin Leahy, Rachael Ivison, Calin Belta
2016	—	`conf`	Always choose second best: Tracking a moving target on a graph with a noisy binary sensor. ECC Kevin Leahy, Mac Schwager
2016	—	`conf`	Control in belief space with Temporal Logic specifications. CDC Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta
2016	—	`conf`	Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints. ISER Eric Cristofalo, Kevin Leahy, Cristian Ioan Vasile, Eduardo Montijano, Mac Schwager, Calin Belta
2016	J	`jnl`	Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints. Auton. Robots Kevin Leahy, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta
2015	—	`conf`	Distributed information gathering policies under temporal logic constraints. CDC Kevin Leahy, Austin Jones, Mac Schwager, Calin Belta
2015	—	`conf`	Temporal logic motion planning using POMDPs with parity objectives: case study paper. HSCC María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2014	—	`conf`	Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints. ISER Kevin Leahy, Dingjiang Zhou, Cristian Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta