32 citations · 37 across the 11 of their papers we have counts for
3 papers · 1 filter
STL: Surprisingly Tricky Logic (for System Validation)
Ho Chit Siu, Kevin Leahy, Makai Mann
Much of the recent work developing formal methods techniques to specify or learn the behavior of autonomous systems is predicated on a belief that formal specifications are interpr…
Knowledge-Integrated Informed AI for National Security
Anu K. Myne, Kevin J. Leahy, Ryan J. Soklaski
The state of artificial intelligence technology has a rich history that dates back decades and includes two fall-outs before the explosive resurgence of today, which is credited la…
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams
Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
In this work, we focus on decomposing large multi-agent path planning problems with global temporal logic goals (common to all agents) into smaller sub-problems that can be solved…