关注
Ashwin Bhaskar
Ashwin Bhaskar
PhD Student, CMI
在 cmi.ac.in 的电子邮件经过验证
标题
引用次数
引用次数
年份
Realizability problem for constraint LTL
A Bhaskar, M Praveen
Information and Computation 296, 105126, 2024
22024
Constraint LTL with Remote Access
A Bhaskar, M Praveen
43rd IARCS Annual Conference on Foundations of Software Technology and …, 2023
2023
LTL with Local and Remote Data Constraints
A Bhaskar
arXiv preprint arXiv:2206.01692, 2022
2022
系统目前无法执行此操作，请稍后再试。
文章 1–3