Igor Cizelj Calin Belta Negotiating the probabilistic satisfaction of temporal logic motion specifications. 4320-4325 2013 IROS https://doi.org/10.1109/IROS.2013.6696976 conf/iros/2013 db/conf/iros/iros2013.html#CizeljB13