Markov automata with multiple objectives

DOI10.1007/978-3-319-63387-9_7MaRDI QIDQ6828058zbMATH OpenFDO

Authors Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen

Publication date 1 July 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Markov decision processMarkov automataapproximate Pareto curveachievement pointsmulti-objective model checking

Mathematics Subject Classification ID

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)