research
∙
05/26/2023
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
Markov decision processes can be viewed as transformers of probability d...
share
research
∙
11/04/2022
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
The Skolem problem is a long-standing open problem in linear dynamical s...
research
∙
08/16/2021
Synthesizing Pareto-Optimal Interpretations for Black-Box Models
We present a new multi-objective optimization approach for synthesizing ...
research
∙
05/28/2021
Fast zone-based algorithms for reachability in pushdown timed automata
Given the versatility of timed automata a huge body of work has evolved ...
research
∙
04/29/2021
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
Boolean Skolem function synthesis concerns synthesizing outputs as Boole...
research
∙
02/15/2021
On synthesizing Skolem functions for first order logic formulae
Skolem functions play a central role in logic, from eliminating quantifi...
research
∙
04/30/2020
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
Given a CNF formula F on n variables, the problem of model counting or #...
research
∙
08/17/2019
Knowledge Compilation for Boolean Functional Synthesis
Given a Boolean formula F(X,Y), where X is a vector of outputs and Y is ...
research
∙
03/09/2019
Timed Systems through the Lens of Logic
In this paper, we analyze timed systems with data structures, using a ri...
research
∙
04/25/2018
Distribution-based objectives for Markov Decision Processes
We consider distribution-based objectives for Markov Decision Processes ...
research
∙
04/16/2018