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
∙
09/14/2021
Coverability, Termination, and Finiteness in Recursive Petri Nets
In the early two-thousands, Recursive Petri nets have been introduced in...
research
∙
09/22/2020
Property-Directed Verification of Recurrent Neural Networks
This paper presents a property-directed approach to verifying recurrent ...
research
∙
08/19/2017