Lukas Heimes

 

Entries

2020

April 10: Formalization of an Algorithm for Greedily Computing Associative Aggregations on Sliding Windows

April 9: Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations