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)