Rapid Top-Down Synthesis of Large-Scale IoT Networks

Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof +6

Advances in optimization and constraint satisfaction techniques, together with the availability of elastic computing resources, have spurred interest in large-scale network verific…