A Proof Lattice-Based Technique for Analyzing Liveness of Resource Controllers.

Ugo A. Buy Robert Moll

Published in: CAV (1990)

Keyphrases

control system
reinforcement learning
resource allocation
theorem proving
databases
information systems
web resources
genetic algorithm
learning algorithm
artificial intelligence
search algorithm
association rule mining
control strategy
resource sharing
resource consumption
resource requirements