Amol Wakankar

Identifiers

No identifiers captured yet.

Papers (4)

1. Specification and Reactive Synthesis of Robust Controllers cs.LO · 2019 · author #2
2. DCSYNTH: Guided Reactive Synthesis with Soft Requirements cs.LO · 2019 · author #1
3. DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis cs.LO · 2017 · author #1
4. Formalizing Timing Diagram Requirements in Discrete Duration Calulus cs.LO · 2017 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Paritosh K. Pandya 4 shared papers
• Raj Mohan Matteplackel 2 shared papers
• Rajmohan Matteplackel 1 shared papers