Reasoning about cost-utility constraints in probabilistic models

DOI10.1007/978-3-319-24537-9_1zbMath1471.68112OpenAlexW2401531638MaRDI QIDQ1675142

Christel Baier

Publication date: 27 October 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-24537-9_1

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Timed games with bounded window parity objectives

This page was built for publication: Reasoning about cost-utility constraints in probabilistic models