S. Akshay

112 papers A* 10A 5B 23C 2Journal 48Unranked 22
YearRankTypeTitle / Venue / Authors
2026 J jnl
Data-Aware and Scalable Sensitivity Analysis for Decision Tree Ensembles.
CoRR
Namrita Varshney, Ashutosh Gupta, Arhaan Ahmad, Tanay Vineet Tayal, S. Akshay
2026 — conf
TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics.
TACAS (1)
S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan
2025 B ed.
Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
ATVA
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
2025 — ed.
Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
ATVA (2)
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
2025 J jnl
Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version).
CoRR
Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay, Ichiro Hasuo
2025 B conf
Chance and Mass Interpretations of Probabilities in Markov Decision Processes.
CONCUR
Yun Chen Tsai, Kittiphon Phalakarn, S. Akshay, Ichiro Hasuo
2025 J jnl
Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics.
CoRR
S. Akshay, Prerak Contractor, Paul Gastin, R. Govind, B. Srivathsan
2025 — conf
False Positives in Robustness Checking of Neural Networks.
OVERLAY
Mohammad Afzal, Ashutosh Gupta, R. Venkatesh, S. Akshay
2025 A* conf
LP-Based Weighted Model Integration over Non-Linear Real Arithmetic.
IJCAI
S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Kafshdar Goharshady, Harshit Jitendra Motwani, Dorde Zikelic
2025 B conf
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models.
ATVA
Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia
2025 J jnl
Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models.
CoRR
Aniruddha R. Joshi, Supratik Chakraborty, S. Akshay, Shetal Shah, Hazem Torfah, Sanjit A. Seshia
2025 B conf
Omega-Regular Verification and Control for Distributional Specifications in MDPs.
CONCUR
S. Akshay, Ouldouz Neysari, Djorde Zikelic
2025 J jnl
Omega-regular Verification and Control for Distributional Specifications in MDPs.
CoRR
S. Akshay, Ouldouz Neysari, Dorde Zikelic
2025 A* conf
Presburger Functional Synthesis: Complexity and Tractable Normal Forms.
KR
S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche
2025 J jnl
Presburger Functional Synthesis: Complexity and Tractable Normal Forms.
CoRR
S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche
2025 A* conf
Sensitivity Verification for Additive Decision Tree Ensembles.
ICLR
Arhaan Ahmad, Tanay Vineet Tayal, Ashutosh Gupta, S. Akshay
2025 J jnl
Verifying rich robustness properties for neural networks.
CoRR
Mohammad Afzal, S. Akshay, Ashutosh Gupta
2024 A* conf
Auditable Algorithms for Approximate Model Counting.
AAAI
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
2024 B conf
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers.
LPAR
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 J jnl
Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171).
Dagstuhl Reports
S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw
2024 B conf
Causally Deterministic Markov Decision Processes.
CONCUR
S. Akshay, Tobias Meggendorfer, P. S. Thiagarajan
2024 A* conf
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties.
IJCAI
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2024 J jnl
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties.
CoRR
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2024 B conf
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.
CONCUR
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2024 J jnl
MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm.
CoRR
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2024 — conf
On Dependent Variables in Reactive Synthesis.
TACAS (1)
S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried
2024 J jnl
On Dependent Variables in Reactive Synthesis.
CoRR
S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried
2024 J jnl
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.
Log. Methods Comput. Sci.
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2024 — conf
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic.
FM (1)
S. Akshay, Supratik Chakraborty, Amir Kafshdar Goharshady, R. Govind, Harshit J. Motwani, Sai Teja Varanasi
2024 J jnl
Simulations for Event-Clock Automata.
Log. Methods Comput. Sci.
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2024 J jnl
Tractable representations for Boolean functional synthesis.
Ann. Math. Artif. Intell.
S. Akshay, Supratik Chakraborty, Shetal Shah
2023 — conf
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation.
CAV (1)
S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan
2023 J jnl
A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation.
CoRR
S. Akshay, Paul Gastin, R. Govind, Aniruddha R. Joshi, B. Srivathsan
2023 J jnl
Auditable Algorithms for Approximate Model Counting.
CoRR
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
2023 — conf
Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis.
CAV (1)
S. Akshay, Supratik Chakraborty, Sahil Jain
2023 B conf
Learning Monitor Ensembles for Operational Design Domains.
RV
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
2023 — conf
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.
CAV (3)
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2023 J jnl
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.
CoRR
S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic
2023 — conf
Using Counterexamples to Improve Robustness Verification in Neural Networks.
ATVA (1)
Mohammad Afzal, Ashutosh Gupta, S. Akshay
2022 A conf
On Eventual Non-negativity and Positivity for the Weighted Sum of Powers of Matrices.
IJCAR
S. Akshay, Supratik Chakraborty, Debtanu Pal
2022 A conf
On Robustness for the Skolem and Positivity Problems.
STACS
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2022 J jnl
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.
CoRR
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2022 B conf
On Synthesizing Computable Skolem Functions for First Order Logic.
MFCS
Supratik Chakraborty, S. Akshay
2022 J jnl
On eventual non-negativity and positivity for the weighted sum of powers of matrices.
CoRR
S. Akshay, Supratik Chakraborty, Debtanu Pal
2022 B conf
Simulations for Event-Clock Automata.
CONCUR
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2022 J jnl
Simulations for Event-Clock Automata.
CoRR
S. Akshay, Paul Gastin, R. Govind, B. Srivathsan
2021 A* conf
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.
LICS
Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty
2021 J jnl
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis.
CoRR
Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty
2021 J jnl
Boolean functional synthesis: hardness and practical algorithms.
Formal Methods Syst. Des.
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
2021 — conf
Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata.
CAV (1)
S. Akshay, Paul Gastin, Karthik R. Prakash
2021 J jnl
Fast zone-based algorithms for reachability in pushdown timed automata.
CoRR
S. Akshay, Paul Gastin, Karthik R. Prakash
2021 J jnl
On synthesizing Skolem functions for first order logic formulae.
CoRR
S. Akshay, Supratik Chakraborty
2021 — conf
Resilience of Timed Systems.
FSTTCS
S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury
2021 B conf
Synthesizing Pareto-Optimal Interpretations for Black-Box Models.
FMCAD
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
2021 J jnl
Synthesizing Pareto-Optimal Interpretations for Black-Box Models.
CoRR
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia
2020 J jnl
Combining free choice and time in Petri nets.
J. Log. Algebraic Methods Program.
S. Akshay, Loïc Hélouët, Ramchandra Phawade
2020 A conf
Near-Optimal Complexity Bounds for Fragments of the Skolem Problem.
STACS
S. Akshay, Nikhil Balaji, Aniket Murhekar, Rohith Varma, Nikhil Vyas
2020 — conf
Revisiting Underapproximate Reachability for Multipushdown Systems.
TACAS (1)
S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury
2020 J jnl
Revisiting Underapproximate Reachability for Multipushdown Systems.
CoRR
S. Akshay, Paul Gastin, S. Krishna, Sparsa Roychowdhury
2020 A* conf
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice.
LICS
Kuldeep S. Meel, S. Akshay
2020 J jnl
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice.
CoRR
Kuldeep S. Meel, S. Akshay
2020 B conf
Timed Negotiations.
FoSSaCS
S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital
2019 — conf
Classification Among Hidden Markov Models.
FSTTCS
S. Akshay, Hugo Bazille, Eric Fabre, Blaise Genest
2019 B conf
Continuous Reachability for Unordered Data Petri Nets is in PTime.
FoSSaCS
Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman
2019 J jnl
Continuous Reachability for Unordered Data Petri nets is in PTime.
CoRR
Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman
2019 A conf
Functional Significance Checking in Noisy Gene Regulatory Networks.
CP
S. Akshay, Sukanya Basu, Supratik Chakraborty, Rangapriya Sundararajan, Prasanna Venkatraman
2019 B conf
Knowledge Compilation for Boolean Functional Synthesis.
FMCAD
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2019 J jnl
Knowledge Compilation for Boolean Functional Synthesis.
CoRR
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2019 A* conf
Timed Systems through the Lens of Logic.
LICS
S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
2019 J jnl
Timed Systems through the Lens of Logic.
CoRR
S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna
2018 J jnl
Analyzing Timed Systems Using Tree Automata.
Log. Methods Comput. Sci.
S. Akshay, Paul Gastin, Shankara Narayanan Krishna
2018 A* conf
Distribution-based objectives for Markov Decision Processes.
LICS
S. Akshay, Blaise Genest, Nikhil Vyas
2018 J jnl
Distribution-based objectives for Markov Decision Processes.
CoRR
S. Akshay, Blaise Genest, Nikhil Vyas
2018 — conf
What's Hard About Boolean Functional Synthesis?
CAV (1)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
2018 J jnl
What's hard about Boolean Functional Synthesis.
CoRR
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
2017 B conf
Complexity of Restricted Variants of Skolem and Related Problems.
MFCS
S. Akshay, Nikhil Balaji, Nikhil Vyas
2017 B conf
On Petri Nets with Hierarchical Special Arcs.
CONCUR
S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep
2017 J jnl
On Petri Nets with Hierarchical Special Arcs.
CoRR
S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep
2017 — conf
Towards Parallel Boolean Functional Synthesis.
TACAS (1)
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
2017 J jnl
Towards Parallel Boolean Functional Synthesis.
CoRR
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
2017 B conf
Towards an Efficient Tree Automata Based Technique for Timed Systems.
CONCUR
S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar
2017 J jnl
Towards an Efficient Tree Automata based technique for Timed Systems.
CoRR
S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar
2016 — ed.
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, Chennai, India, December 13-15, 2016
FSTTCS
Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen
2016 B conf
Analyzing Timed Systems Using Tree Automata.
CONCUR
S. Akshay, Paul Gastin, Shankara Narayanan Krishna
2016 J jnl
Analyzing Timed Systems Using Tree Automata.
CoRR
S. Akshay, Paul Gastin, Shankara Narayanan Krishna
2016 C conf
Combining Free Choice and Time in Petri Nets.
TIME
S. Akshay, Loïc Hélouët, Ramchandra Phawade
2016 B conf
Decidable Classes of Unbounded Petri Nets with Time and Urgency.
Petri Nets
S. Akshay, Blaise Genest, Loïc Hélouët
2016 A conf
On Regularity of Unary Probabilistic Automata.
STACS
S. Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas
2016 J jnl
Robustness of Time Petri Nets under Guard Enlargement.
Fundam. Informaticae
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
2016 B conf
Stochastic Timed Games Revisited.
MFCS
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2016 J jnl
Stochastic Timed Games Revisited.
CoRR
S. Akshay, Patricia Bouyer, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
2015 J jnl
Approximate Verification of the Symbolic Dynamics of Markov Chains.
J. ACM
Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
2015 J jnl
Checking conformance for time-constrained scenario-based specifications.
Theor. Comput. Sci.
S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2015 J jnl
Reachability problems for Markov chains.
Inf. Process. Lett.
S. Akshay, Timos Antonopoulos, Joël Ouaknine, James Worrell
2015 B conf
Skolem Functions for Factored Formulas.
FMCAD
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2015 J jnl
Skolem Functions for Factored Formulas.
CoRR
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2014 J jnl
Distributed Timed Automata with Independently Evolving Clocks.
Fundam. Informaticae
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2014 — conf
Sessions with an Unbounded Number of Agents.
ACSD
S. Akshay, Loïc Hélouët, Madhavan Mukund
2013 J jnl
Event clock message passing automata: a logical characterization and an emptiness checking algorithm.
Formal Methods Syst. Des.
S. Akshay, Benedikt Bollig, Paul Gastin
2013 — conf
Implementing Realistic Asynchronous Automata.
FSTTCS
S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu
2013 — conf
The Steady-State Control Problem for Markov Decision Processes.
QEST
S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët
2012 J jnl
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application.
IEEE ACM Trans. Comput. Biol. Bioinform.
Sucheendra K. Palaniappan, S. Akshay, Bing Liu, Blaise Genest, P. S. Thiagarajan
2012 A* conf
Approximate Verification of the Symbolic Dynamics of Markov Chains.
LICS
Manindra Agrawal, S. Akshay, Blaise Genest, P. S. Thiagarajan
2012 J jnl
Regular set of representatives for time-constrained MSC graphs.
Inf. Process. Lett.
S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
2012 — conf
Robustness of Time Petri Nets under Architectural Constraints.
FORMATS
S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
2012 — conf
Robustness of Time Petri Nets under Guard Enlargement.
RP
S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
2012 C conf
Symbolically Bounding the Drift in Time-Constrained MSC Graphs.
ICTAC
S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
2011 — conf
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways.
CMSB
Sucheendra K. Palaniappan, S. Akshay, Blaise Genest, P. S. Thiagarajan
2010 — conf
Model checking time-constrained scenario-based specifications.
FSTTCS
S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2008 B conf
Distributed Timed Automata with Independently Evolving Clocks.
CONCUR
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
2007 — conf
Automata and Logics for Timed Message Sequence Charts.
FSTTCS
S. Akshay, Benedikt Bollig, Paul Gastin
2007 B conf
Checking Coverage for Infinite Collections of Timed Scenarios.
CONCUR
S. Akshay, Madhavan Mukund, K. Narayan Kumar