Concavely−Priced Timed Automata
Main Authors: | Jurdzinski, M, Trivedi, A |
---|---|
מחברים אחרים: | Cassez, F |
פורמט: | Conference item |
יצא לאור: |
Springer
2008
|
פריטים דומים
-
CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
מאת: Jurdzinski, M, et al.
יצא לאור: (2009) -
Concavely−Priced Probabilistic Timed Automata
מאת: Kwiatkowska, G, et al.
יצא לאור: (2009) -
Reachability−Time Games on Timed Automata
מאת: Jurdzinski, M, et al.
יצא לאור: (2007) -
On Nonlinear Prices in Timed Automata
מאת: Devendra Bhave, et al.
יצא לאור: (2016-12-01) -
Stochastic Timed Automata
מאת: Nathalie Bertrand, et al.
יצא לאור: (2014-12-01)