Feature #82
Learning-based algorithm
| Status: | New | Start date: | 03/19/2014 | |
|---|---|---|---|---|
| Priority: | Low | Due date: | ||
| Assignee: | - | % Done: | 0% |
|
| Category: | - | |||
| Target version: | - |
Description
Add learning-based approaches for queue automata verification (see Vardhan et al. "Actively Learning to verify safety for fifo automata", FSTTCS'04 & other publications of same authors).