3 citations · 7 across the 6 of their papers we have counts for
4 papers · 2 filters
Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields
Paritosh K. Pandya, Amol Wakankar
A system with sporadic errors (SSE) is a controller which produces high quality output but it may occasionally violate a critical requirement REQ(I,O). A run-time enforcement shiel…
Specification and Reactive Synthesis of Robust Controllers
Paritosh K. Pandya, Amol Wakankar
This paper investigates the synthesis of robust controllers from logical specification of regular properties given in an interval temporal logic QDDC. Our specification encompasses…
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…
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya +1
We study two extensions of FO2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variabl…