|
|
Ashutosh Trivedi: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Concavely-Priced Probabilistic Timed Automata
M. Jurdzinski, M. Kwiatkowska, G. Norman, A. Trivedi
2009.
Details
|
BibTeX
|
|
[2]
|
CONCAVELY-PRICED PROBABILISTIC TIMED AUTOMATA
Marcin Jurdzinski et al.
No. RR-09-06, Technical Report, OUCL. 2009.
Details
|
BibTeX
| Download (pdf) |
|
[3]
|
Average-Time Games
Marcin Jurdzinski, Ashutosh Trivedi
In Foundations of Software Technology and Theoretical Computer Science 2008.
To appear.
Details
|
BibTeX
|
|
[4]
|
Concavely-Priced Timed Automata
Marcin Jurdzinski, Ashutosh Trivedi
In Cassez, F., Jard, C., editors, Formal Modelling and Analysis of Timed Systems Vol. 5215 of LNCS, pages 48—62. Springer, 2008.
Details
|
BibTeX
| Link |
|
[5]
|
Reachability-Time Games on Timed Automata
Marcin Jurdzinski, Ashutosh Trivedi
In Automata, Languages and Programming Vol. 4596 of LNCS, pages 838—849. Springer, 2007.
Details
|
BibTeX
| Link |
|
|
|
|
