State assignment for multilevel logic using dynamic literal estimation.

Michael Bolotski Daniel Camporese Rod Barman

Published in: ICCAD (1989)

Keyphrases

data sets
dynamic environments
state space
machine learning
reinforcement learning
modal logic
computational properties
real time
neural network
accurate estimation
logical framework
classical logic