Sign in

Runtime enforcement of timed properties using games.

Matthieu RenardAntoine RolletYliè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