Concavely−Priced Timed Automata

Míreanna comhchosúla

• CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
  de réir: Jurdzinski, M, et al.
  Foilsithe / Cruthaithe: (2009)
• Concavely−Priced Probabilistic Timed Automata
  de réir: Kwiatkowska, G, et al.
  Foilsithe / Cruthaithe: (2009)
• Reachability−Time Games on Timed Automata
  de réir: Jurdzinski, M, et al.
  Foilsithe / Cruthaithe: (2007)
• On Nonlinear Prices in Timed Automata
  de réir: Devendra Bhave, et al.
  Foilsithe / Cruthaithe: (2016-12-01)
• Stochastic Timed Automata
  de réir: Nathalie Bertrand, et al.
  Foilsithe / Cruthaithe: (2014-12-01)