Concavely−Priced Timed Automata
Κύριοι συγγραφείς: | Jurdzinski, M, Trivedi, A |
---|---|
Άλλοι συγγραφείς: | Cassez, F |
Μορφή: | Conference item |
Έκδοση: |
Springer
2008
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
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)