Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Những quyển sách tương tự

• Integer Parameter Synthesis for Timed Automata
  Bằng: Jovanović, A, et al.
  Được phát hành: (2013)
• Integer Parameter Synthesis for Real−time Systems
  Bằng: Jovanović, A, et al.
  Được phát hành: (2014)
• Continuous-Time Stochastic Games with Time-Bounded Reachability.
  Bằng: Brázdil, T, et al.
  Được phát hành: (2009)
• Parametric Interrupt Timed Automata
  Bằng: Bérard, B, et al.
  Được phát hành: (2013)
• Expected Reachability−Time Games
  Bằng: Forejt, V, et al.
  Được phát hành: (2010)