Michel Barbeau, Froduald Kabanza, Richard St.-Denis. Synthesizing Plant Controllers Using Real-time Goals. In IJCAI. pages 791-800, 1995.
@inproceedings{BarbeauKS95,
title = {Synthesizing Plant Controllers Using Real-time Goals},
author = {Michel Barbeau and Froduald Kabanza and Richard St.-Denis},
year = {1995},
researchr = {https://researchr.org/publication/BarbeauKS95},
cites = {0},
citedby = {0},
pages = {791-800},
booktitle = {IJCAI},
}