Statistics
Publications
8
Citations
172
H-Index
8
Active since
2010
S. Akshay is an author at Indian Institute of Technology Bombay specializing in computer science, computing, and algorithms.
Publications per year
2010–2020
8
8
Reachability problems for Markov chains
S. Akshay, Timos Antonopoulos, Joël Ouaknine et al. · Information Processing Letters · 2014 · 49 citations
Approximate Verification of the Symbolic Dynamics of Markov Chains
Manindra Agrawal, S. Akshay, Blaise Genest et al. · Journal of the ACM · 2015 · 27 citations · Full text
Skolem functions for factored formulas
Ajith K. John, Shetal Shah, Supratik Chakraborty et al. · 2015 · 26 citations
Sparse Hashing for Scalable Approximate Model Counting
Kuldeep S. Meel, S. Akshay · 2020 · 20 citations
Approximate Verification of the Symbolic Dynamics of Markov Chains
Manindra Agrawal, S. Akshay, Blaise Genest et al. · 2012 · 17 citations
1–5 of 8