research
∙
09/21/2022
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
Angluin's L* algorithm learns the minimal (complete) deterministic finit...
share
research
∙
07/12/2022
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions
Runtime Verification deals with the question of whether a run of a syste...
research
∙
10/01/2020
Erratum to "Frequency Linear-time Temporal Logic"
We correct our proof of a theorem stating that satisfiability of frequen...
research
∙
09/22/2020
Property-Directed Verification of Recurrent Neural Networks
This paper presents a property-directed approach to verifying recurrent ...
research
∙
07/10/2019
Runtime Verification For Timed Event Streams With Partial Information
Runtime Verification (RV) studies how to analyze execution traces of a s...
research
∙
02/11/2019
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
This report presents the activities of the first working group of the CO...
research
∙
08/31/2018