TY  - RPRT
TI  - Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications
AU  - Igor Cizelj
AU  - Calin Belta
PY  - 2013
UR  - https://arxiv.org/abs/1307.3224
ID  - 1307.3224
ER  -