Login / Signup

Efficient Reactive Synthesis Using Mode Decomposition.

Matías BrizzioCésar Sánchez
Published in: ICTAC (2023)
Keyphrases
  • information systems
  • lightweight
  • databases
  • relational databases
  • cost effective
  • hierarchical decomposition