Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Gelijkaardige items

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