Reasoning About Smart Parking.

Efficient parking management can lead to reduced traffic congestion, lower fuel consumption, decreased air pollution, improved overall urban mobility, and it constitutes a challenge in the automotive field. This work faces the problem by following both algorithmic and formal approaches, relying on practical implementation and rigorous analysis and verification.