Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Carsten Ehrler
Daniel P. Kennedy
Dan Graur
Yifei Shen
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Shou Feng
Home
/
Author
/
KEVIN LEAHY
Author Info
Open Visualization
Name
Affiliation
Papers
KEVIN LEAHY
Boston University, Boston, MA
14
Collaborators
Citations
PageRank
24
23
5.29
Referers
Referees
References
68
185
98
Search Limit
100
185
Publications (14 rows)
Collaborators (24 rows)
Referers (68 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
0
0.34
2022
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS)
0
0.34
2022
Control in belief space with temporal logic specifications using vision-based localization
1
0.36
2019
Tracking a Markov Target in a Discrete Environment with Multiple Sensors
0
0.34
2019
Differentially Private LQ Control.
0
0.34
2018
Distributed Sensing Subject To Temporal Logic Constraints
1
0.36
2018
Privacy In Feedback: The Differentially Private Lqg
1
0.36
2018
Semi-Supervised Pattern Synthesis In Spatially Distributed Dynamical Systems
0
0.34
2017
Informative Path Planning Under Temporal Logic Constraints With Performance Guarantees
2
0.38
2017
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints
11
0.64
2016
Control In Belief Space With Temporal Logic Specifications
0
0.34
2016
Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints.
0
0.34
2016
Temporal logic motion planning using POMDPs with parity objectives: case study paper
3
0.39
2015
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints
4
0.43
2014
1