Martin Raszyk

 

Entries

2020

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