A Novel Design in Formal Verification Corresponding to Mixed Signals by Differential Learning.

D. S. Vidhya Manjunath Ramachandra

Published in: CSOC (3) (2017)

Keyphrases

formal verification
hybrid learning
reinforcement learning
learning process
learning algorithm
design principles
knowledge acquisition
learning systems
case study
learning environment
knowledge based systems
model checking
automated verification