Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sajiv Kumar J.S.
conf.researchr.org general profile
APLAS 2025 profile
ATVA 2025 profile
Registered user since Sun 20 Apr 2025
Name:
Sajiv Kumar J.S.
Contributions
2025
ATVA
Author of Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation within the NIER-track
APLAS
Author of Controller Synthesis for Reactive Systems with Communication Delay by Formula Translation within the ATVA and APLAS NIER-track
Share
x
Wed 22 Oct 07:59