scientific article; zbMATH DE number 7204556

DOI10.4230/LIPIcs.ICALP.2017.104zbMath1442.68079MaRDI QIDQ5111436

Giovanni Bacci, Giorgio Bacci, Radu Mardare, Kim Guldstrand Larsen

Publication date: 27 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

probabilistic modelsautomata minimizationbehavioral distances

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Unnamed Item ⋮ Abstract model repair for probabilistic systems

This page was built for publication: