Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.

Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.

Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.

On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).

Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.

Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).

Deterministic near-optimal approximation algorithms for dynamic set cover
S. Bhattacharya, M.H. Henzinger, D. Nanongkai, X. Wu, SIAM Journal on Computing 52 (2023) 1132–1192.

Constant matters: Fine-grained error bound on differentially private continual observation
H. Fichtenberger, M.H. Henzinger, J. Upadhyay, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10072–10092.

Entangling microwaves with light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Entangling Microwaves with Light, American Association for the Advancement of Science, 2023.

Entangling microwaves with light
R. Sahu, (2023).

The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, Distributed Computing 36 (2023) 395–418.

Weak convergence for variational inequalities with inertial-type method
Y. Shehu, O.S. Iyiola, Applicable Analysis 101 (2022) 192–216.

When different norms lead to same billiard trajectories?
A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312.

High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating
W.F. Podlaski, E.J. Agnes, T.P. Vogels, BioRxiv (2022).

Directional extremal statistics for Ginibre eigenvalues
G. Cipolloni, L. Erdös, D.J. Schröder, Y. Xu, Journal of Mathematical Physics 63 (2022).

A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes
G. Colombo, R.J. Cubero, L. Kanari, A. Venturino, R. Schulz, M. Scolamiero, J. Agerberg, H. Mathys, L.-H. Tsai, W. Chachólski, K. Hess, S. Siegert, Nature Neuroscience 25 (2022) 1379–1393.

Sequential and additive expression of miR-9 precursors control timing of neurogenesis
X. Soto, J. Burton, C.S. Manning, T. Minchington, R. Lea, J. Lee, J. Kursawe, M. Rattray, N. Papalopulu, Development 149 (2022).

Improved Lieb–Oxford bound on the indirect and exchange energies
M. Lewin, E.H. Lieb, R. Seiringer, Letters in Mathematical Physics 112 (2022).

Genetic architecture of repeated phenotypic divergence in Littorina saxatilis evolution
E.L. Koch, M. Ravinet, A.M. Westram, K. Johannesson, R.K. Butlin, Evolution 76 (2022) 2332–2346.

ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp
M.N. Elkrewi, U. Khauratovich, M.A. Toups, V.K. Bett, A. Mrnjavac, A. Macon, C. Fraisse, L. Sax, A.K. Huylmans, F. Hontoria, B. Vicoso, Genetics 222 (2022).