Angluin's L* algorithm learns the minimal (complete) deterministic finit...
In the early two-thousands, Recursive Petri nets have been introduced in...
This paper presents a property-directed approach to verifying recurrent
...
Computing steady-state distributions in infinite-state stochastic system...