Undecidable Problems for Probabilistic Network Programming

DOI10.4230/LIPICS.MFCS.2017.68MaRDI QIDQ5111285zbMATHOpenAlexFDO

Authors David M. Kahn

Publication date 26 May 2020

Full work available at URL https://dblp.uni-trier.de/db/conf/mfcs/mfcs2017.html#Kahn17

zbMATH Keywords

software-defined networkingundecidabilityprobabilistic finite automataNetKATProbNetKAT

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Probabilistic NetKAT
• Cantor meets Scott: semantic foundations for probabilistic networks
• scientific article
• A coalgebraic decision procedure for NetKAT
• Netkat, semantic foundations for networks

Cites work

• scientific article; zbMATH DE number 1086671 (Why is no real title available?)
• A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
• A coalgebraic decision procedure for NetKAT
• Cantor meets Scott: semantic foundations for probabilistic networks
• NetKAT -- a formal system for the verification of networks
• Netkat, semantic foundations for networks
• On the Complexity of the Equivalence Problem for Probabilistic Automata
• On the Computation of Some Standard Distances Between Probabilistic Automata
• Probabilistic NetKAT
• Probabilistic automata on finite words: decidable and undecidable problems
• Undecidable problems for probabilistic automata of fixed dimension

Cited in

(3)

• Netter: probabilistic, stateful network models
• Undecidability in decentralized supervision
• Cantor meets Scott: semantic foundations for probabilistic networks

Describes a project that uses

Uses Software

• NetKAT
• ProbNetKAT

This page was built for publication: Undecidable Problems for Probabilistic Network Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111285)