Concavely−Priced Timed Automata

Схожие документы

• CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
  по: Jurdzinski, M, и др.
  Опубликовано: (2009)
• Concavely−Priced Probabilistic Timed Automata
  по: Kwiatkowska, G, и др.
  Опубликовано: (2009)
• Reachability−Time Games on Timed Automata
  по: Jurdzinski, M, и др.
  Опубликовано: (2007)
• On Nonlinear Prices in Timed Automata
  по: Devendra Bhave, и др.
  Опубликовано: (2016-12-01)
• Stochastic Timed Automata
  по: Nathalie Bertrand, и др.
  Опубликовано: (2014-12-01)