Bounded-Memory Runtime Enforcement of Timed Properties.

Saumya Shankar Srinivas Pinisetty Thierry Jéron

Published in: TIME (2023)

Keyphrases

bounded memory
structural properties
databases
machine learning
desirable properties
expert systems
key properties
finite state machines
petri net
special case
evolutionary algorithm
database
data streams
website
image processing
artificial intelligence
data sets