Compositional Controller Synthesis for Stochastic Games

DOI10.1007/978-3-662-44584-6_13zbMath1421.93053OpenAlexW1659646318MaRDI QIDQ3190116

Nicolas Basset, Marta Kwiatkowska, C. Wiltsche

Publication date: 15 September 2014

Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:3e96880c-9ffe-401b-bdd9-67a01a44be56

zbMATH Keywords

stochastic gamescontroller synthesis

Mathematics Subject Classification ID

Synthesis problems (93B50) Stochastic games, stochastic differential games (91A15)

Related Items (4)

Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Quantitative verification and strategy synthesis for stochastic games ⋮ Compositional abstraction-based synthesis for networks of stochastic switched systems ⋮ Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach

This page was built for publication: Compositional Controller Synthesis for Stochastic Games