Parameter Synthesis in Markov Models: A Gentle Survey
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Topics & Concepts
Computer scienceMarkov chainUncountable setProbabilistic logicTheoretical computer scienceParametric statisticsSet (abstract data type)Markov modelAlgorithmParametric modelAlgebra over a fieldProgramming languageDiscrete mathematicsArtificial intelligenceMathematicsMachine learningPure mathematicsCountable setStatisticsFormal Methods in VerificationMachine Learning and AlgorithmsModel-Driven Software Engineering Techniques