86 citations · 91 across the 5 of their papers we have counts for
1 paper · 1 filter
Colin Shea-Blymyer, Houssam Abbas
We consider the pressing question of how to model, verify, and ensure that autonomous systems meet certain \textit{obligations} (like the obligation to respect traffic laws), and r…