Kevin Leahy

According to our database1, Kevin Leahy authored at least 13 papers between 2014 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Towards Differential Privacy for Symbolic Systems.
CoRR, 2018

Differentially Private LQ Control.
CoRR, 2018

Privacy in Feedback: The Differentially Private LQG.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Informative path planning under temporal logic constraints with performance guarantees.
Proceedings of the 2017 American Control Conference, 2017

Semi-supervised pattern synthesis in spatially distributed dynamical systems.
Proceedings of the 2017 American Control Conference, 2017

2016
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints.
Auton. Robots, 2016

Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints.
Proceedings of the International Symposium on Experimental Robotics, 2016

Always choose second best: Tracking a moving target on a graph with a noisy binary sensor.
Proceedings of the 2016 European Control Conference, 2016

Control in belief space with Temporal Logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Integration of deterministic inference with formal synthesis for control under uncertainty.
Proceedings of the 2016 American Control Conference, 2016

2015
Temporal logic motion planning using POMDPs with parity objectives: case study paper.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Distributed information gathering policies under temporal logic constraints.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints.
Proceedings of the Experimental Robotics, 2014


  Loading...