TY  - RPRT
TI  - Computational methods for stochastic control with metric interval temporal logic specifications
AU  - Jie Fu
AU  - Ufuk Topcu
PY  - 2015
UR  - https://arxiv.org/abs/1503.07193
ID  - 1503.07193
ER  -