Manny Rayner, Åsa Hugosson, Martin Aronsson, Annika Wærn. Formal Reasoning about Plan-Controlled Vehicles. In SCAI. pages 739-751, 1989.
@inproceedings{RaynerHAW89,
title = {Formal Reasoning about Plan-Controlled Vehicles},
author = {Manny Rayner and Åsa Hugosson and Martin Aronsson and Annika Wærn},
year = {1989},
researchr = {https://researchr.org/publication/RaynerHAW89},
cites = {0},
citedby = {0},
pages = {739-751},
booktitle = {SCAI},
}