S. Akshay

Identifiers

• name variant S. Akshay 0.60 · backfill

Papers (12)

1. Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability cs.PL · 2026 · author #1
2. Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach cs.AI · 2026 · author #1
3. Knowledge Compilation for Quantification in Alternating Automata cs.LO · 2026 · author #1
4. TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics cs.FL · 2025 · author #1
5. Timed Systems through the Lens of Logic cs.LO · 2019 · author #1
6. Continuous Reachability for Unordered Data Petri nets is in PTime cs.FL · 2019 · author #3
7. Distribution-based objectives for Markov Decision Processes cs.LO · 2018 · author #1
8. What's hard about Boolean Functional Synthesis cs.LO · 2018 · author #1
9. Towards an Efficient Tree Automata based technique for Timed Systems cs.FL · 2017 · author #1
10. On Petri Nets with Hierarchical Special Arcs cs.LO · 2017 · author #1
11. Towards Parallel Boolean Functional Synthesis cs.LO · 2017 · author #1
12. Skolem Functions for Factored Formulas cs.LO · 2015 · author #5

Mentions

• 2605.24263 #1 · arxiv_oai · confidence 0.70 S. Akshay
• 2510.14699 #1 · arxiv_oai · confidence 0.70 S. Akshay

Frequent Coauthors

• Supratik Chakraborty 6 shared papers
• Paul Gastin 3 shared papers
• Shetal Shah 3 shared papers
• Ajith K. John 2 shared papers
• R. Govind 2 shared papers
• Shankara Narayanan Krishna 2 shared papers
• Ajinkya Naik 1 shared papers
• Alfredo Cantarella 1 shared papers
• Aniruddha R. Joshi 1 shared papers
• Ankush Das 1 shared papers
• Ashutosh Gupta 1 shared papers
• Ashutosh Trivedi 1 shared papers
• Bernd Finkbeiner 1 shared papers
• Blaise Genest 1 shared papers
• B. Srivathsan 1 shared papers
• Chaitanya Garg 1 shared papers
• Ilias Sarkar 1 shared papers
• Kuldeep S. Meel 1 shared papers
• Nikhil Vyas 1 shared papers
• Niklas Metzger 1 shared papers