Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks.

Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross

Browse the full SRDS paper archive.