Synthesis with Privacy Against an Observer

Keyphrases

• Traditional Synthesis 100%
• Polynomial Time 50%
• Tight 50%
• Privacy Requirements 50%
• Exponential Blow up 50%
• Input Signals 50%
• Output Signal 50%
• Synthesis Problem 50%
• Deterministic Automata 50%
• Confined Synthesis 50%
• Desirable Output 50%
• Automatic Synthesis 50%

Computer Science

• Polynomial Time 100%
• Privacy Requirement 100%
• Input/Output 100%
• Synthesis Problem 100%
• Deterministic Automaton 100%
• Automatic Synthesis 100%