Login / Signup
Reactive Synthesis Modulo Theories Using Abstraction Refinement.
Benedikt Maderbacher
Roderick Bloem
Published in:
CoRR (2021)
Keyphrases
</>
modulo theories
answer set programming
high level
general purpose
satisfiability modulo theories
machine learning
orders of magnitude