Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ayush Anand
conf.researchr.org general profile
ATVA 2025 profile
ISSTA/ECOOP 2024 profile
Registered user since Sat 5 Jul 2025
Name:
Ayush Anand
Affiliation:
Indian Institute of Technology Bhubaneswar
Contributions
2025
ATVA
Author of Prompt Runtime Enforcement within the ATVA Papers-track
2024
VORTEX
Author of Runtime Verified Neural Networks for Cyber-Physical Systems within the VORTEX 2024-track
Share
x
Tue 28 Oct 12:43
