Akshay, S.
- Skolem Functions for Factored Formulas
2015/08/22 by Ajith K. John, Shetal Shah, John, Ajith K. +7 · 3 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Logic, Reasoning, and Knowledge
- Knowledge Compilation for Boolean Functional Synthesis
2019/08/17 by Akshay, S., Arora, Jatin, Chakraborty, Supratik +3 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Towards Parallel Boolean Functional Synthesis
2017/03/04 by Akshay, S., Chakraborty, Supratik, John, Ajith K. +1 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Towards an Efficient Tree Automata based technique for Timed Systems
2017/07/08 by Akshay, S., Gastin, Paul, Krishna, Shankara Narayanan +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- What's hard about Boolean Functional Synthesis
2018/04/16 by Akshay, S., Chakraborty, Supratik, Goel, Shubham +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Distribution-based objectives for Markov Decision Processes
2018/04/25 by S. Akshay, Blaise Genest, Akshay, S. +3 · 1 citation
Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies #Software Reliability and Analysis Research
- Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
2020/04/30 by Meel, Kuldeep S., Akshay, S. · 1 citation
#Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
2023/05/26 by S. Akshay, Akshay, S., Krishnendu Chatterjee +5 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research
- Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
2024/05/07 by S. Akshay, Krishnendu Chatterjee, Akshay, S. +5 · 1 citation
Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
2021/04/29 by Shah, Preey, Bansal, Aman, Akshay, S. +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
2024/07/11 by Akshay, S., Gastin, Paul, Govind, R. +1 · 2 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Synthesizing Pareto-Optimal Interpretations for Black-Box Models
2021/08/16 by Torfah, Hazem, Shah, Shetal, Chakraborty, Supratik +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)