Feature #82

Learning-based algorithm

Added by Alexander Heußner almost 3 years ago.

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).

Also available in: Atom PDF