We present a methodology for the synthesis of controllers, which exploits (explicit) model checking techniques. That is, we can cope with the systematic exploration of a very large state space. This methodology can be applied to systems where other approaches fail. In particular, we can consider systems with an highly non-linear dynamics and lacking a uniform mathematical description (model). W...

Plans for four new permanent parking lots have drawn fire from David Neufeld, President of Student Association. Designed tu meet the need for 8000 parking spaces by 1975 (there are 3200 now), were first presented to students at an Educational Policy Council meeting. Walter Tisdale, Assistant to the President for Planning and Development, is the administer most involved in construction planning....

In crowded city centers, drivers looking for available parking space generate extra traffic and in addition, the resulting excessive exhaust gases cause air pollution. Therefore, directing to a spot an intelligent way is important task smart applications. This requires prediction of occupancy states lots which involves appropriate processing historical data. this work, Long-Short Term Memory (L...

A minivan fire in a K-Mart parking lot i illustrates several pertinent points common to vehicle fires: • The pavement underneath the minivan is ablaze. • The car in the immediate vicinity of the minivan catches fire demonstrating how an entire parking lot or underground parking garage of cars parked close together, as is the case in NYC, can burn serially. • The driver-side front tire of the mi...