Login / Signup
Prevail-DM: A Framework-Based Environment for Formal Hardware Verification.
Flávio Rech Wagner
Published in:
CHDL (1993)
Keyphrases
</>
real time
main contribution
decision makers
formal methods
data sets
mobile robot
signal processing
virtual world
theoretical framework
reinforcement learning
probabilistic model
dynamic environments
hardware and software
hardware design