SafeTap: Trustworthy Neurosymbolic Language to Quadrupedal Locomotion via Shield Synthesis Modulo Bitvectors.

Andoni Rodrguez, Csar Snchez

Browse the full KR paper archive.