16 citations · 23 across the 8 of their papers we have counts for
1 paper · 1 filter
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…