2 citations · 3 across the 6 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Runtime Enforcement of Hybrid System Properties
Mir Md Sajid Sarwar, Srinivas Pinisetty, Rajarshi Ray +1
Runtime enforcement has emerged as a promising approach for ensuring the safety of autonomous and cyber-physical systems operating in uncertain and dynamic environments. Unlike tra…
cs.FL2016
Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, Steven Smyth +2
Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box syst…