logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Ashutosh Trivedi

University of Colorado System

15H指数
197论文数
900被引数
收录论文 6
发表时间
logo
On Choice of Loss Functions for Neural Control Barrier Certificates神经控制屏障证书的损失函数选择
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errNadali, Alireza; Trivedi, Ashutosh; Zamani, Majid
err分享
err收藏
Closure certificates关闭证书
errNonlinear Analysis: Hybrid Systems
IF0
err2025-09-09
err0
PREAI
errVishnu Murali; Ashutosh Trivedi; Majid Zamani
err分享
err收藏
Performance of LLMs on VITA test: potential for AI-assisted tax returns for low income taxpayersLLM在VITA测试中的表现：为低收入纳税人提供AI辅助报税的潜力
errartificial intelligence in agriculture
IF3.1
err2025-07-08
err0
PREAI
errSina Gogani-Khiabani; Ashutosh Trivedi; ShinPing Chyi; Saeid Tizpaz-Niari
err分享
err收藏
Verification of Hyperproperties for Dynamical Systems via Barrier Certificates
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-10-01
err0
PREAI
errAnand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh; Zamani, Majid
err分享
err收藏
A New Ultra-Capacitor Bank Switching Using Probabilistic DC Prediction in Electrical Vehicle
errELECTRIC POWER COMPONENTS AND SYSTEMS
IF1.5
err2022-12-16
err0
PREAI
errManori, Ashok; Trivedi, Ashutosh; Manori, Samta; Saroha, Jaipal
err分享
err收藏
Secure-by-construction synthesis of cyber-physical systems
errANNUAL REVIEWS IN CONTROL
IF10.7
err2022-01-01
err27
errOAAI
errLiu, Siyuan; Trivedi, Ashutosh; Yin, Xiang; Zamani, Majid
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Majid Zamani
H 指数: 27 · 论文数: 344
X
Xiang Yin
H 指数: 10 · 论文数: 115
S
Siyuan Liu
H 指数: 8 · 论文数: 43
S
Samta Manori
H 指数: 7 · 论文数: 24
S
Saeid Tizpaz-Niari
H 指数: 6 · 论文数: 56
查看更多