Permissive Controller Synthesis for Probabilistic Systems

DOI10.2168/LMCS-11(2:16)2015zbMath1391.68076arXiv1504.04662OpenAlexW2763611255MaRDI QIDQ2941765

No author found.

Publication date: 25 August 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

stochastic gamescontroller synthesisprobabilistic verification

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Synthesis problems (93B50) Stochastic games, stochastic differential games (91A15) Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic systems in control theory (general) (93E03)

Related Items (5)

Runtime monitors for Markov decision processes ⋮ Enforcing almost-sure reachability in POMDPs ⋮ Supervisor synthesis of POMDP via automata learning ⋮ Collaborative models for autonomous systems controller synthesis ⋮ Unnamed Item

Uses Software

• PRISM
• UPPAAL TIGA
• PRISM-games

This page was built for publication: Permissive Controller Synthesis for Probabilistic Systems