Kevin J. Leahy

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 3

Top Topics

Dynamic And Uncertain Environments

Automata Theoretic

National Security

Top Venues

Publications

Anu K. Myne, Kevin J. Leahy, Ryan J. Soklaski
Knowledge-Integrated Informed AI for National Security. CoRR (2022)
Kevin J. Leahy, Derya Aksaray, Calin Belta
Informative path planning under temporal logic constraints with performance guarantees. ACC (2017)
Kevin J. Leahy, Prasanna Kannappan, Adam Jardine, Herbert G. Tanner, Jeffrey Heinz, Calin Belta
Integration of deterministic inference with formal synthesis for control under uncertainty. ACC (2016)