Diagnosis in Infinite-State Probabilistic Systems

From MaRDI portal

Revision as of 14:07, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4608690

Jump to:navigation, search

DOI10.4230/LIPIcs.CONCUR.2016.37zbMath1392.68230OpenAlexW2541974757MaRDI QIDQ4608690

Serge Haddad, Nathalie Bertrand, Engel Lefaucheux

Publication date: 21 March 2018

Full work available at URL: https://hal.inria.fr/hal-01373354

zbMATH Keywords

Markov chains diagnosis infinite-state systems partial observation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

A tale of two diagnoses in probabilistic systems ⋮ Diagnosability of repairable faults

This page was built for publication: Diagnosis in Infinite-State Probabilistic Systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4608690&oldid=18776319"