TY  - RPRT
TI  - Automated Synthesis of Controllers for Search and Rescue from Temporal Logic Specifications
AU  - Clemens Wiltsche
PY  - 2013
UR  - https://arxiv.org/abs/1304.6898
ID  - 1304.6898
ER  -