ISTA Research Explorer

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

2023 | Conference Paper | IST-REx-ID: 14259 |

Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.

[Published Version] View | Files available | DOI

2023 | Journal Article | IST-REx-ID: 14319 |

Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).

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

2023 | Conference Paper | IST-REx-ID: 14318 |

Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 14317 |

MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.

[Published Version] View | Files available | DOI

2023 | Conference Paper | IST-REx-ID: 13120 |

Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

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