TY  - RPRT
TI  - Synthesizing Switching Logic to Minimize Long-Run Cost
AU  - Susmit Jha
AU  - Sanjit A. Seshia
AU  - Ashish Tiwari
PY  - 2011
UR  - https://arxiv.org/abs/1103.0800
ID  - 1103.0800
ER  -