ISTA Research Explorer

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

2022 | Journal Article | IST-REx-ID: 11403

Measuring airborne nanoplastics using aerosol physics
A. Stöllner, Nature Reviews Earth and Environment 3 (2022) 360.

View | DOI | WoS

2022 | Journal Article | IST-REx-ID: 10791 |

Tissue-wide effects override cell-intrinsic gene function in radial neuron migration
A.H. Hansen, F. Pauler, M. Riedl, C. Streicher, A.-M. Heger, S. Laukoter, C.M. Sommer, A. Nicolas, B. Hof, L.H. Tsai, T. Rülicke, S. Hippenmeyer, Oxford Open Neuroscience 1 (2022).

[Published Version] View | Files available | DOI

2022 | Conference Paper | IST-REx-ID: 12000 |

Sound and complete certificates for auantitative termination analysis of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.

[Published Version] View | Files available | DOI | WoS

2022 | Journal Article | IST-REx-ID: 12511 |

Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2022 | Preprint | IST-REx-ID: 14601 |

Learning stabilizing policies in stochastic control systems
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv