S. Akshay | DeepAI

AI Chat

Featured Co-authors

Krishnendu Chatterjee
70 publications
Sanjit A. Seshia
65 publications
Kuldeep S. Meel
49 publications
Đorđe Žikelić
16 publications
Supratik Chakraborty
15 publications
Nikhil Vyas
15 publications
Hazem Torfah
13 publications
Paul Gastin
12 publications
Tobias Meggendorfer
12 publications
Vincent Jugé
7 publications
Shankara Narayanan Krishna
7 publications

∙ 05/26/2023

MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives

Markov decision processes can be viewed as transformers of probability d...

0 S. Akshay, et al. ∙

∙ 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...

0 S. Akshay, et al. ∙

∙ 08/16/2021

Synthesizing Pareto-Optimal Interpretations for Black-Box Models

We present a new multi-objective optimization approach for synthesizing ...

0 Hazem Torfah, et al. ∙

∙ 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 ...

0 S. Akshay, et al. ∙

∙ 04/29/2021

A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis

Boolean Skolem function synthesis concerns synthesizing outputs as Boole...

0 Preey Shah, et al. ∙

∙ 02/15/2021

On synthesizing Skolem functions for first order logic formulae

Skolem functions play a central role in logic, from eliminating quantifi...

0 S. Akshay, et al. ∙

∙ 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 #...

0 Kuldeep S. Meel, et al. ∙

∙ 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 ...

0 S. Akshay, et al. ∙

∙ 03/09/2019

Timed Systems through the Lens of Logic

In this paper, we analyze timed systems with data structures, using a ri...

0 S. Akshay, et al. ∙

∙ 04/25/2018

Distribution-based objectives for Markov Decision Processes

We consider distribution-based objectives for Markov Decision Processes ...

0 S. Akshay, et al. ∙

∙ 04/16/2018

What's hard about Boolean Functional Synthesis

Given a relational specification between Boolean inputs and outputs, the...

0 S. Akshay, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world