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.
554 Publications
2022 | Conference Paper | IST-REx-ID: 12509 |
An updated survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
[Published Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
2022 | Conference Paper | IST-REx-ID: 12529 |
A direct symbolic algorithm for solving stochastic rabin games
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, in:, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2022, pp. 81–98.
2022 | Conference Paper | IST-REx-ID: 12530
BOCoSy: Small but powerful symbolic output-feedback control
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.
View
| DOI
B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:, 25th ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2022, p. 24:1-24:11.
2022 | Conference Paper | IST-REx-ID: 12540 |
Estimation in rotationally invariant generalized linear models via approximate message passing
R. Venkataramanan, K. Kögler, M. Mondelli, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022.
[Published Version]
View
| Files available
R. Venkataramanan, K. Kögler, M. Mondelli, in:, Proceedings of the 39th International Conference on Machine Learning, ML Research Press, 2022.
2022 | Preprint | IST-REx-ID: 12536 |
The price of ignorance: How much does it cost to forget noise structure in low-rank matrix estimation?
J. Barbier, T. Hou, M. Mondelli, M. Saenz, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Barbier, T. Hou, M. Mondelli, M. Saenz, ArXiv (n.d.).