collaborators

1 paper

cs.SE2018

Stream Runtime Monitoring on UAS

Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner +2

Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In…