Property Preserving Simulations.

Saddek Bensalem Ahmed Bouajjani Claire Loiseaux Joseph Sifakis

Published in: CAV (1992)

Keyphrases

databases
learning algorithm
information systems
similarity measure
reinforcement learning
association rules
artificial neural networks
special case
desirable properties
simulation models