Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.
Benjamin MonmegeJulie ParreauxPierre-Alain ReynierPublished in: CONCUR (2022)
Keyphrases
- weighted sum
- weighted majority
- weight function
- description logics
- total weight
- weighted association rule mining
- high speed
- query answering
- petri net
- relative importance
- weight matrix
- game theoretic
- linear combination
- weighted graph
- game design
- video games
- nash equilibria
- decision procedures
- weighting functions
- weighting schemes
- nash equilibrium
- weighting scheme
- discrete event
- power consumption
- game theory
- objective function
- binary valued
- computer games
- perfect information
- game development
- edge weights
- neural network
- game play