Using RTL Statespace Information and State Encoding for Induction Based Property Checking.

Markus Wedler Dominik Stoffel Wolfgang Kunz

Published in: DATE (2003)

Keyphrases

information content
real time
information sources
neural network
mobile robot
information processing
information sharing
image sequences
keywords
video sequences
computational complexity
digital libraries
information resources