research
∙
07/31/2023
Decision Procedures for Sequence Theories (Technical Report)
Sequence theories are an extension of theories of strings with an infini...
share
research
∙
05/27/2021
Learning Union of Integer Hypercubes with Queries (Technical Report)
We study the problem of learning a finite union of integer (axis-aligned...
research
∙
09/28/2020
Parameterized Synthesis with Safety Properties
Parameterized synthesis offers a solution to the problem of constructing...
research
∙
01/21/2019
