\input zb-basic
\input zb-ioport
\iteman{io-port 70399095}
\itemau{Bhatia, Amit; Kavraki, Lydia E.; Vardi, Moshe Y.}
\itemti{Sampling-based motion planning with temporal goals}
\itemso{ICRA, 2689-2696 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/ROBOT.2010.5509503}
\end