arrow
返回
P

Pushpak Jagtap

Indian Institute of Science

12H指数
138论文数
564被引数
收录论文 17
发表时间
Temporal logic resilience for continuous-time systems连续时间系统的时序逻辑鲁棒性
err2026-05-26
err0
PREAI
errRatnangshu Das; Negar Monir; Youssef Ait Si; Adnane Saoud; Sadegh Soudjani; Pushpak Jagtap
err分享
err收藏
err分享
err收藏
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
err2023-05-01
err10
PREAI
errNejati, Ameneh; Lavaei, Abolfazl; Jagtap, Pushpak; Soudjani, Sadegh; Zamani, Majid
err分享
err收藏
err分享
err收藏
Symbolic models for retarded jump-diffusion systems
err2020-01-01
err4
errOAAI
errJagtap, Pushpak; Zamani, Majid
err分享
err收藏