Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1902 Publications


2013 | Conference Paper | IST-REx-ID: 2305   OA
T. Brázdil, K. Chatterjee, V. Forejt, and A. Kučera, “Trading performance for stability in Markov decision processes,” in 28th Annual ACM/IEEE Symposium, New Orleans, LA, United States, 2013, pp. 331–340.
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2444   OA
K. Chatterjee and J. Ła̧Cki, “Faster algorithms for Markov decision processes with low treewidth,” vol. 8044. Springer, pp. 543–558, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2836   OA
K. Chatterjee and V. Raman, “Assume-guarantee synthesis for digital contract signing,” Formal Aspects of Computing, vol. 26, no. 4, pp. 825–859, 2013.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2817   OA
S. Novak, K. Chatterjee, and M. Nowak, “Density games,” Journal of Theoretical Biology, vol. 334, pp. 26–34, 2013.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2886   OA
M. Chmelik and V. Řehák, “Controllable-choice message sequence graphs,” vol. 7721. Springer, pp. 118–130, 2013.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed