Login / Signup

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games.

Aleksandra JovanovicDidier LimeOlivier H. Roux
Published in: ATVA (2013)
Keyphrases
  • parameter space
  • parameter values
  • parameter settings
  • petri net
  • video games
  • multi agent
  • optimal solution
  • hidden markov models
  • state space
  • markov chain
  • game theory
  • computer games
  • program synthesis