ML Anthology

Synthesizing Plant Controllers Using Real-Time Goals

Michel Barbeau, Froduald Kabanza, Richard St-Denis
IJCAI 1995 pp. 791-800
/ijcai/1995/barbeau1995ijcai-synthesizing/
PDF IJCAI Semantic Scholar

Cite

Text

Barbeau et al. "Synthesizing Plant Controllers Using Real-Time Goals." International Joint Conference on Artificial Intelligence, 1995.

Markdown

[Barbeau et al. "Synthesizing Plant Controllers Using Real-Time Goals." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/barbeau1995ijcai-synthesizing/)

BibTeX

@inproceedings{barbeau1995ijcai-synthesizing,
  title     = {{Synthesizing Plant Controllers Using Real-Time Goals}},
  author    = {Barbeau, Michel and Kabanza, Froduald and St-Denis, Richard},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1995},
  pages     = {791-800},
  url       = {https://mlanthology.org/ijcai/1995/barbeau1995ijcai-synthesizing/}
}