Runtime enforcement of timed properties using games.

Matthieu Renard Antoine Rollet Yliès Falcone

Published in: Formal Aspects Comput. (2020)

Keyphrases

structural properties
desirable properties
data sets
neural network
genetic algorithm
real time
website
access control
game play
imperfect information
human computation
perfect information