Marek A. Perkowski, Alan Mishchenko, Anatoli N. Chebotarev. Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints. In 1st NASA / DoD Workshop on Evolvable Hardware (EH 99), July 19-21, 1999, Pasadena, CA, USA. pages 129-138, IEEE Computer Society, 1999. [doi]
@inproceedings{PerkowskiMC99,
title = {Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints},
author = {Marek A. Perkowski and Alan Mishchenko and Anatoli N. Chebotarev},
year = {1999},
url = {http://csdl.computer.org/comp/proceedings/eh/1999/0256/00/02560129abs.htm},
tags = {machine learning, constraints, logic, state machines},
researchr = {https://researchr.org/publication/PerkowskiMC99},
cites = {0},
citedby = {0},
pages = {129-138},
booktitle = {1st NASA / DoD Workshop on Evolvable Hardware (EH 99), July 19-21, 1999, Pasadena, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-0256-3},
}