Diagnosis in Infinite-State Probabilistic Systems
From MaRDI portal
Publication:4608690
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
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