3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.LO2019
DCSYNTH: Guided Reactive Synthesis with Soft Requirements
Amol Wakankar, Paritosh K. Pandya, Rajmohan Matteplackel
In reactive controller synthesis, a number of implementations (controllers) are possible for a given specification because of the incomplete nature of specification. To choose the…
cs.LO2017★ 3 cited
DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis
Amol Wakankar, Paritosh K. Pandya, Raj Mohan Matteplackel
DCSYNTH is a tool for the synthesis of controllers from safety and bounded liveness requirements given in interval temporal logic QDDC. It investigates the role of soft requirement…