Abstract We propose a new probabilistic programming language for the design and analysis of cyber-physical systems, especially those based on machine learning. consider several problems arising in process, including training system to be robust rare events, testing its performance under different conditions, debugging failures. show how can help address these by specifying distributions encodin...

Many of today’s scenic assessment tools were developed initially to preserve the visual quality public lands and mitigate negative impacts large-scale landscape alterations, such as timber harvesting, mineral extraction, renewable energy production. However, we are beginning see more interest today in preserving views on non-public lands. This essay makes a case for additional that reveal deep ...

We use the contingent valuation method to measure the amount citizens are willing to pay to improve scenic mountain-view amenities through the removal of billboards. Our approach addresses both the perceived property rights as well as the perceptions of the status quo in the southern Appalachian Mountains. We find that individuals who retire to the mountains have different preferences for land ...