Towards the impact of state encoding on induction-based property checking.

Markus Wedler Dominik Stoffel Wolfgang Kunz

Published in: MBMV (2003)

Keyphrases

computer vision
state space
real time
data sets
real world
genetic algorithm
information systems
website
reinforcement learning
objective function
inductive learning
finite state machines