Tag / formal methods in architecture

Agent-based Semiology – Optimizing Office Occupation Patterns With Agent-based Simulations is a paper I contributed to the 5th International Symposium on Formal Methods in Architecture (5FMA) in Lisbon (PT). The proceedings are published by Springer and can be found here. Also, read the abstract here, the full paper is available on my research blog paramtricsemiology.com,…