Parameter synthesis for Markov models: covering the parameter space.
Sebastian JungesErika ÁbrahámChristian HenselNils JansenJoost-Pieter KatoenTim QuatmannMatthias VolkPublished in: Formal Methods Syst. Des. (2024)
Keyphrases
- parameter space
- markov models
- markov model
- higher order
- hidden markov models
- maximum entropy
- parameter values
- high dimensional
- conditional random fields
- hidden state
- sequence classification
- sequence prediction
- likelihood function
- graphical models
- linear transformations
- bayesian networks
- hough space
- feature selection
- upper bound
- search space
- image processing