The following pages link to Dror Fried (Q386989):
Displaying 8 items.
- Complexity of Canadian traveler problem variants (Q386993) (← links)
- Adapting behaviors via reactive synthesis (Q832238) (← links)
- Repeated-task Canadian Traveler Problem (Q4589110) (← links)
- BDD-Based Boolean Functional Synthesis (Q4633560) (← links)
- Sequential Relational Decomposition (Q5094122) (← links)
- (Q5875674) (← links)
- Functional synthesis via input-output separation (Q6102165) (← links)
- Mimicking behaviors in separated domains (Q6488799) (← links)
