High-Quality Synthesis Against Stochastic Environments

DOI10.4230/LIPIcs.CSL.2016.28zbMath1369.68256arXiv1608.06567OpenAlexW2963490906MaRDI QIDQ5278414

Orna Kupferman, Shaull Almagor

Publication date: 19 July 2017

Full work available at URL: https://arxiv.org/abs/1608.06567

zbMATH Keywords

Markov decision processstochastic and quantitative synthesis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Linear temporal logic -- from infinite to finite horizon ⋮ Reasoning about Quality and Fuzziness of Strategic Behaviors

This page was built for publication: High-Quality Synthesis Against Stochastic Environments