Automatic Optimizations for Stream-Based Monitoring Languages.

Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger

Browse the full RV paper archive.