Actively Learning to Verify Safety for FIFO Automata.

Abhay Vardhan Koushik Sen Mahesh Viswanathan Gul Agha

Published in: FSTTCS (2004)

Keyphrases

active learning
learning algorithm
reinforcement learning
supervised learning
learning systems
learning tasks
learning process
mobile learning
inductive learning
genetic algorithm
prior knowledge
learning problems
learning analytics
learning scheme
elementary school