Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Recent

Recent

  1. Liveness Verification and Synthesis: New Algorithms for Recursive Programs, by Roland Meyer, Sebastian Muskalla, and Elisabeth Neumann.

    arXiv

  2. Fast Witness Counting, by Peter Chini, Rehab Massoud, Roland Meyer, and Prakash Saivasan.

    arXiv

  3. Munchausen Iteration, by Roland Meyer and Sebastian Muskalla.

    arXiv

  4. Complexity of Liveness in Parameterized Systems, by Peter Chini, Roland Meyer, and Prakash Saivasan.

    FSTTCS 2019