Cited By
View all- Aguzzi GAudrito GViroli MAncona DAudrito G(2024)Optimising Aggregate Monitors for Spatial Logic of Closure Spaces PropertiesProceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution10.1145/3679008.3685544(25-31)Online publication date: 13-Sep-2024