@inproceedings{akhavan_IWPSS04,
	author = {Anahita Akhavan and Saddek Bensalem and Marius Bozga and Eleni Orfanidou},
	title = {{Experiment on Verification of a Planetary Rover Controller}},
	booktitle = {Proceedings of the 4$^{th}$ International Workshop on Planning and Scheduling for Space},
	month = {June},
	pages ={3-10},
	year = {2004}
}