\section{Conclusions}
\label{sec-conclusion}

To conclude, we have described the \texttt{maybe} statement: a new language
construct allowing developers to express structured uncertainty at
development time and for that uncertainty to be resolved through later
testing and adaptation. We are in the process of building a prototype of the
\texttt{maybe} system for Android smartphones and are excited to share
results from our experiences.

\section*{Acknowledgments}

The \href{http://blue.cse.buffalo.edu}{blue Systems Research Group} and the
work presented in this paper are supported by NSF awards %
\href{http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1205656}{1205656},
\href{http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1409367}{1409367},
and
\href{http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1423215}{1423215}.