4 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Ruth Hoffmann, Murray Ireland, Alice Miller +2
Formal verification of agents representing robot behaviour is a growing area due to the demand that autonomous systems have to be proven safe. In this paper we present an abstract…