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)