We propose a mathematical framework for developing social-choice games that are designed to mediate decision-making processes for city planning, urban area redevelopment, and architectural configuration of urban housing complexes. The proposed framework features a digital serious gaming approach for participatory design to support transparency and inclusion in the process of decision-making and ensure an equitable balance of sustainable development goals in spatial design outcomes. The mathematical process consists of a Markovian design machine for balancing the design decisions of actors, a massing configurator equipped with fuzzy logic and multi-criteria decision analysis, algebraic graph-theoretical accessibility evaluators, and automated solar-climatic evaluators using geospatial computational geometry. We demonstrate the effectiveness of the framework by implementing a multi-player online game that facilitates a participatory decision-making workshop for forming multi-functional building complexes by providing a generative configurator equipped with automated appraisal/scoring mechanisms for revealing the aggregate impact of alternatives. The EquiCity game empowers a group of decision-makers to reach a fair consensual spatial design by mathematically simulating many rounds of reasonable trade-offs between their decisions, with different levels of interest or control over various types of investments. The novelty of the framework is in its capability to encompass decision-making about the most idiosyncratic aspects of a site related to its heritage status and cultural significance to the most generic aspects such as balancing access to sunlight for the site while respecting ‘the right to sunlight’ of the neighbours of the site, ensuring coherence of the entire configuration with regards to a network of desired closeness ratings, the satisfaction of a programme of requirements, and intricately balancing individual development goals in conjunction with communal goals and environmental design codes.

Purpose: The most sustainable forms of urban mobility are walking and cycling. These modes of transportation are the most environmental friendly, the most economically viable and the most socially inclusive and engaging modes of urban transportation. To measure and compare the effectiveness of alternative pedestrianization or cycling infrastructure plans, the authors need to measure the potential flows of pedestrians and cyclists. The paper aims to discuss this issue. Design/methodology/approach: The authors have developed a computational methodology to predict walking and cycling flows and local centrality of streets, given a road centerline network and occupancy or population density data attributed to building plots. Findings: The authors show the functionality of this model in a hypothetical grid network and a simulated setting in a real town. In addition, the authors show how this model can be validated using crowd-sensed data on human mobility trails. This methodology can be used in assessing sustainable urban mobility plans. Originality/value: The main contribution of this paper is the generalization and adaptation of two network centrality models and a trip-distribution model for studying walking and cycling mobility.