scientific article; zbMATH DE number 6851931

DOI10.4230/LIPIcs.CONCUR.2016.9zbMath1392.68225arXiv1604.07064MaRDI QIDQ4608660

Shaull Almagor, Orna Kupferman, Yaron Velner

Publication date: 21 March 2018

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sensingmean-payoff gamesstochastic synthesisquantitative synthesis

Mathematics Subject Classification ID

Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Combinations of Qualitative Winning for Stochastic Parity Games ⋮ Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints ⋮ Unnamed Item

This page was built for publication: