Skip to main content

Showing 1–1 of 1 results for author: Basa, E

.
  1. arXiv:2401.11290  [pdf, other

    cs.LO cs.FL

    On Dependent Variables in Reactive Synthesis

    Authors: S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried

    Abstract: Given a Linear Temporal Logic (LTL) formula over input and output variables, reactive synthesis requires us to design a deterministic Mealy machine that gives the values of outputs at every time step for every sequence of inputs, such that the LTL formula is satisfied. In this paper, we investigate the notion of dependent variables in the context of reactive synthesis. Inspired by successful pre-p… ▽ More

    Submitted 20 January, 2024; originally announced January 2024.

    Comments: Full version of conference paper published in TACAS'24