Periodic Reporting for period 4 - PaVeS (Parametrized Verification and Synthesis)

In parameterized systems, an arbitrary number of identical agents with limited computational power interact to achieve a common goal.Examples include distributed algorithms (i.e., algorithms running on a network of communicating computing agents), algorithms for routing in...