Srinivas Pinisetty - Publications, H-index & Citations

Srinivas Pinisetty

indian institute of technology system (iit system)

14H指数

65论文数

647被引数

收录论文 7

发表时间

Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study 基于形式运行时强制的安全多智能体强化学习：一个案例研究

THEORETICAL ASPECTS OF COMPUTING-ICTAC 2025

IF0

2026-01-01

PREAI

Mohapatra, Vedanta; Anand, Ayush; Pinisetty, Srinivas

Bounded Serial Compositional Runtime Enforcement 有界串行组合运行时强制

Journal of Object Technology

IF1.4

2026-01-01

PREAI

Shankar, Saumya; Jeron, Thierry; Srinidi, Prisha; Pinisetty, Srinivas

Scalable Security Enforcement for Cyber Physical Systems 网络物理系统的可扩展安全实施

IEEE ACCESS

IF3.6

2024-01-01

OAAI

Baird, Alex; Panda, Abhinandan; Pearce, Hammond; Pinisetty, Srinivas; Roop, Partha

Model Based Verification of Spiking Neural Networks in Cyber Physical Systems

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2023-09-01

PREAI

Pradhan, Ankit; King, Jonathan; Pinisetty, Srinivas; Roop, Partha S. S.

Incremental Security Enforcement for Cyber-Physical Systems

IEEE ACCESS

IF3.6

2023-01-01

OAAI

Panda, Abhinandan; Baird, Alex; Pinisetty, Srinivas; Roop, Partha

Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems 用于减轻对工业控制系统的网络物理攻击的智能I/O模块

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2020-07-01

PREAI

Pearce, Hammond; Pinisetty, Srinivas; Roop, Partha S.; Kuo, Matthew M. Y.; Ukil, Abhisek

Predictive runtime verification of timed properties 定时属性的预测运行时验证

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2017-10-01

OAAI

Pinisetty, Srinivas; Jeron, Thierry; Tripakis, Stavros; Falcone, Ylies; Marchand, Herve; Preoteasa, Viorel

研究方向