Monitoring of Temporal First-Order Properties with Aggregations.

David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu

Browse the full RV paper archive.