Search Results for author:
Found 3 papers, 1 papers with code
Learning Union of Integer Hypercubes with Queries (Technical Report)
In particular, a finite union of integer hypercubes correspond to a finite disjunction of monadic predicates over integer linear arithmetic (without modulo constraints).
Parameterized Synthesis with Safety Properties
Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems.
Logic in Computer Science Formal Languages and Automata Theory
Learning-Based Synthesis of Safety Controllers
We propose a machine learning framework to synthesize reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration, two-player games over (potentially) infinite graphs.
