Synthesis for Probabilistic Environments

DOI10.1007/11901914_20MaRDI QIDQ3522913zbMATH OpenOpenAlexFDO

Authors Sven Schewe

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11901914_20

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2163041
• Measuring and synthesizing systems in probabilistic environments
• scientific article; zbMATH DE number 1759605
• High-Quality Synthesis Against Stochastic Environments
• Temporal synthesis for bounded systems and environments

Cited in

(15)

• Synthesis from probabilistic components
• Synthesizing efficient systems in probabilistic environments
• Temporal synthesis for bounded systems and environments
• Synthesis with rational environments
• Graph Games and Reactive Synthesis
• The Complexity of Synthesis from Probabilistic Components
• Open Implication
• Environment Assumptions for Synthesis
• scientific article; zbMATH DE number 1759605 (Why is no real title available?)
• High-Quality Synthesis Against Stochastic Environments
• Measuring and synthesizing systems in probabilistic environments
• Synthesizing approximate implementations for unrealizable specifications
• Fair -regular games
• Adapting to the behavior of environments with bounded memory
• Deciding what is good-for-MDPs

This page was built for publication: Synthesis for Probabilistic Environments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522913)