• Sign in
  • Sign up
conf.researchr.org / S. Akshay
  • ATVA 2025 profile
  • ETAPS 2019 profile
  • FM 2026 profile

Registered user since Thu 14 Feb 2019

Name:S. Akshay
Country:India
Affiliation:Indian Institute of Technology, Bombay, India
Personal website: https://www.cse.iitb.ac.in/~akshayss/

Contributions

2026

FM

  • Author of Formal Reasoning About Confidence and Automated Verification of Neural Networks within the Research Track-track
  • Author of Formal Reasoning About Confidence and Automated Verification of Neural Networks within the Workshop: AIPV-track

2025

ATVA

  • PC Member in Programme Committee
  • Author of Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models within the ATVA Papers-track

2019

FOSSACS

  • Author of Continuous Reachability for Unordered Data Petri Nets is in PTime within the FOSSACS 2019-track
Share
xTue 6 Oct 01:14
using conf.researchr.org (v1.76.1)
Support page
Sign Up