Login / Signup

Reactive Synthesis Modulo Theories using Abstraction Refinement.

Benedikt MaderbacherRoderick Bloem
Published in: FMCAD (2022)
Keyphrases
  • modulo theories
  • answer set programming
  • high level
  • stable model semantics
  • special case
  • np complete