@Inproceedings{VaBe-FMRA-2014,
	author    = {Vasile, Cristian Ioan and Belta, Calin},
	title     = {{Reactive Sampling-Based Temporal Logic Path Planning}},
	year      = {2014},
	pages     = {Poster},
	booktitle = {{5th Workshop on Formal Methods for Robotics and Automation}},
	month     = {July},
	address   = {Berkeley, CA, USA},
	note      = {\href{http://verifiablerobotics.com/RSS14/Abstracts.html}{link}}
}