@misc{indiciaeb735cf667e65,
  title = {Stream Runtime Monitoring on UAS},
  author = {Florian-Michael Adolf and Peter Faymonville and Bernd Finkbeiner and Sebastian Schirmer and Christoph Torens},
  year = {2018},
  url = {https://arxiv.org/abs/1804.04487},
  note = {Source identifier: 1804.04487}
}