Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
Benjamin MonmegeJulie ParreauxPierre-Alain ReynierPublished in: CoRR (2022)
Keyphrases
- weighted sum
- weighted majority
- weight function
- total weight
- high speed
- weighting functions
- weighted association rule mining
- linear combination
- relative importance
- weighting scheme
- weight matrix
- power consumption
- weighting schemes
- description logics
- petri net
- majority vote
- nash equilibria
- video games
- game playing
- user defined
- game play
- discrete event
- decision procedures
- learning agents
- coalitional games
- computer games
- data exchange
- nash equilibrium
- game design
- binary valued
- educational games
- duty cycle