Stocks: Real-time U.S. stock quotes reflect trades reported through Nasdaq only; comprehensive quotes and volume reflect trading in all markets and are delayed at least 15 minutes. International ...

Abstract: We study the problem of designing control strategies for non ... of linear temporal logic (LTL) formulas over their set of states. We focus on finite transition systems with inputs, which ...