Rajmohan Matteplackel | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Paritosh K. Pandya
9 publications
Amol Wakankar
5 publications

research

∙ 03/10/2019

DCSYNTH: Guided Reactive Synthesis with Soft Requirements

In reactive controller synthesis, a number of implementations (controlle...

0 Amol Wakankar, et al. ∙

research

∙ 03/10/2019

DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements

This paper proposes a technique for the synthesis of high quality contro...

0 Amol Wakankar, et al. ∙