activity
20142026
most citedTowards the Emulation of the Cardiac Conduction System for Pacemaker Testing

12 citations · 28 across the 13 of their papers we have counts for

collaborators
Showing 2026 · cs.FLShow all

1 paper · 2 filters

cs.FL2026

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems

Partha Roop, Sobhan Chatterjee, Avinash Malik +2

Many Cyber Physical System (CPS) work in a safety-critical environment, where correct execution, reliability and trustworthiness are essential. Signal Temporal Logic (STL) provides…