@inproceedings {1449,
	title = {LTL Planning in Dynamic Environments},
	booktitle = {WODES{\textquoteright}12: 11th Int. Workshop on Discrete Event Systems},
	year = {2012},
	month = {10/2012},
	publisher = {IFAC},
	organization = {IFAC},
	address = {Guadalajara, Mexico},
	author = {M. Kloetzer and Mahulea, Cristian}
}

