Runtime Enforcement of Cyber-Physical Systems

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden. Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embedded Comput. Syst., 16(5), 2017. [doi]

Authors

Srinivas Pinisetty

This author has not been identified. Look up 'Srinivas Pinisetty' in Google

Partha S. Roop

This author has not been identified. Look up 'Partha S. Roop' in Google

Steven Smyth

This author has not been identified. Look up 'Steven Smyth' in Google

Nathan Allen

This author has not been identified. Look up 'Nathan Allen' in Google

Stavros Tripakis

This author has not been identified. It may be one of the following persons: Look up 'Stavros Tripakis' in Google

Reinhard von Hanxleden

This author has not been identified. Look up 'Reinhard von Hanxleden' in Google