Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Ítems similars

• Integer Parameter Synthesis for Timed Automata
  per: Jovanović, A, et al.
  Publicat: (2013)
• Integer Parameter Synthesis for Real−time Systems
  per: Jovanović, A, et al.
  Publicat: (2014)
• Continuous-Time Stochastic Games with Time-Bounded Reachability.
  per: Brázdil, T, et al.
  Publicat: (2009)
• Parametric Interrupt Timed Automata
  per: Bérard, B, et al.
  Publicat: (2013)
• Expected Reachability−Time Games
  per: Forejt, V, et al.
  Publicat: (2010)