Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults.

Guy Avni, Shubham Goel, Thomas A. Henzinger, Guillermo Rodrguez-Navas

Browse the full TACAS paper archive.