technical session 2 SBMF: Model checking

Model Checking and Strategy Synthesis for Multi-Agent Systems for Resource Allocation Nils Timm and Josua Botha A Two-level Approach Based on Model Checking to Support Architecture Conformance Checking Bruno Menezes, Ana Teresa Martins and Thiago Alves Rocha Statistical Model Checking for Traffic Models Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar and M. V. Panduranga Rao