High-quality synthesis against stochastic environments

Keyphrases

• Linear Temporal Logic 100%
• Stochastic Environment 100%
• Input Signals 42%
• Boolean 28%
• Output Signal 28%
• Synthesis Problem 28%
• Synthesized System 28%
• Expected Quality 28%
• Search Problems 14%
• Optimization Problem 14%
• Realistic Settings 14%
• Logic Formulas 14%
• Automated Synthesis 14%
• Multi-valued Logic 14%
• Worst Case Setting 14%
• Stochastic Settings 14%
• Decision Problem 14%
• Satisfaction Value 14%
• Classical Synthesis 14%
• Logic Synthesis 14%

Computer Science

• Linear Temporal Logic 100%
• Synthesis Problem 28%
• Optimization Problem 14%
• Decision Problem 14%
• Logic Synthesis 14%
• Probability 14%