On timed alternating simulation for concurrent timed games.
Laura BozzelliAxel LegaySophie PinchinatPublished in: Acta Informatica (2012)
Keyphrases
- discrete event
- petri net
- timed automata
- colored petri nets
- dynamic systems
- simulation model
- video games
- finite state machines
- simulation models
- data sets
- first order logic
- simulation study
- numerical simulations
- mathematical model
- game playing
- game theoretic
- mobile devices
- qualitative simulation
- weighted majority
- information systems
- neural network