On a Class of Optimal Abstractions of Finite-State Machines.

Kostas N. Oikonomou

Published in: Formal Methods Syst. Des. (1996)

Keyphrases

finite state machines
high level
model checking
regular languages
finite state automata
database
worst case
regular expressions
class dependent
databases
dynamic programming
multi class
efficient learning