research
∙
06/25/2023
Learning Broadcast Protocols
The problem of learning a computational model from examples has been rec...
share
research
∙
11/15/2020
Safety Synthesis Sans Specification
We define the problem of learning a transducer S from a target language ...
research
∙
11/15/2020
Learning of Structurally Unambiguous Probabilistic Grammars
The problem of identifying a probabilistic context free grammar has two ...
research
∙
11/10/2020
Inferring Symbolic Automata
We study the learnability of symbolic finite state automata, a model sho...
research
∙
02/10/2020
Learning Interpretable Models in the Property Specification Language
We address the problem of learning human-interpretable descriptions of a...
research
∙
04/12/2019
SyGuS-Comp 2018: Results and Analysis
Syntax-guided synthesis (SyGuS) is the computational problem of finding ...
research
∙
09/10/2018
Regular omega-Languages with an Informative Right Congruence
A regular language is almost fully characterized by its right congruence...
research
∙
07/10/2018
Streamable Regular Transductions
Motivated by real-time monitoring and data processing applications, we d...
research
∙
02/13/2018
Query learning of derived ω-tree languages in polynomial time
We present the first polynomial time algorithm to learn nontrivial class...
research
∙
11/29/2017
SyGuS-Comp 2017: Results and Analysis
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding ...
research
∙
11/28/2017