◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Kevin J. Leahy

14 papers hereh-index 14594 citations38 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author2
  • middle author11
  • last author1

Across the 14 of 14 papers where every author was matched, so the position is known.

fields
  • cs.AI3
  • cs.LG3
  • cs.CR2
  • eess.SY2
  • math.OC2
  • cs.LO1

identity via Semantic Scholar / OpenAlex

activity
20172023
most citedFast Decomposition of Temporal Logic Specifications for Heterogeneous Teams

32 citations · 37 across the 11 of their papers we have counts for

collaborators
Showing cs.CRShow all

2 papers · 1 filter

cs.CR2022★ 1 cited

Differential Privacy for Symbolic Systems with Application to Markov Chains

Bo Chen, Kevin Leahy, Austin Jones +1

Data-driven systems are gathering increasing amounts of data from users, and sensitive user data requires privacy protections. In some cases, the data gathered is non-numerical or…

cs.CR2018

Towards Differential Privacy for Symbolic Systems

Austin Jones, Kevin Leahy, Matthew Hale

In this paper, we develop a privacy implementation for symbolic control systems. Such systems generate sequences of non-numerical data, and these sequences can be represented by wo…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.