Please note that ISTA 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.

457 Publications


2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, Krishnendu, et al. Quantitative Interprocedural Analysis. IST Austria, 2016, doi:10.15479/AT:IST-2016-523-v1-1.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, et al. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, vol. 2016, AAAI Press, 2016, pp. 3225–32.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, Andreas, et al. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016, doi:10.15479/AT:IST-2016-648-v1-1.
[Updated Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis, Andreas, et al. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2017-749-v3-1.
[Published Version] View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis, Andreas, et al. Strong Amplifiers of Natural Selection. IST Austria, 2016, doi:10.15479/AT:IST-2016-728-v1-1.
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe, Christian, et al. Experimental Game Instructions. Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.s008.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1322 | OA
Hilbe, Christian, et al. “Asymmetric Power Boosts Extortion in an Economic Experiment.” PLoS One, vol. 11, no. 10, e0163867, Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.
[Published Version] View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe, Christian, et al. Experimental Data. Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.s009.
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1397
Chmelik, Martin. Algorithms for Partially Observable Markov Decision Processes. Institute of Science and Technology Austria, 2016.
View
 

Filters and Search Terms

department=KrCh

Search

Filter Publications