Serial Compositional Runtime Enforcement of Safety Timed Properties.

Saumya Shankar Srinivas Pinisetty

Published in: ISEC (2023)

Keyphrases

petri net
multiresolution
desirable properties
real time
data mining
mobile robot
united states