Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Link opens in a new tab
Search content at The Hebrew University of Jerusalem
Home
Profiles
Research units
Research output
Prizes
Synthesis with Guided Environments
Orna Kupferman
,
Ofer Leshkowitz
*
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Synthesis with Guided Environments'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Input Signals
100%
Output Signal
100%
Partial Visibility
100%
Computational Power
50%
Distributed Systems
50%
Branching Time
50%
Software System
50%
Real-world Application
50%
User Intention
50%
Synthesis Problem
50%
Automatically Generate
50%
Theoretical Aspects
50%
Traditional Synthesis
50%
State Services
50%
Private Services
50%
Service Policy
50%
Local State
50%
Power/knowledge
50%
Timing Specification
50%
Computer Science
Branching Time
100%
Software Systems
100%
Computational Power
100%
Synthesis Problem
100%
Theoretical Study
100%
Distributed System
100%
Private Service
100%