Login / Signup
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints.
Marek A. Perkowski
Alan Mishchenko
Anatoli N. Chebotarev
Published in:
Evolvable Hardware (1999)
Keyphrases
</>
temporal logic
evolvable hardware
learning algorithm
model checking
expert systems
digital circuits
state machines
xml documents
neural network
machine learning