1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold +1
Stream-based runtime monitors are used in safety-critical applications such as Unmanned Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of system h…