Markov automata with multiple objectives
From MaRDI portal
Markov decision processMarkov automataapproximate Pareto curveachievement pointsmulti-objective model checking
Formal languages and automata (68Q45) Multi-objective and goal programming (90C29) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)
This page was built for publication: Markov automata with multiple objectives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6828058)