Showing 1 - 5 results of 5 for search 'Alexander Weinert', query time: 0.04s Refine Results
  1. 1
    Quantitative Reductions and Vertex-Ranked Infinite Games

    Quantitative Reductions and Vertex-Ranked Infinite Games by Alexander Weinert

    Published 2018-09-01
    Get full text
    Article
  2. 2
    Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs

    Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs by Alexander Weinert, Martin Zimmermann

    Published 2017-09-01
    Get full text
    Article
  3. 3
    Parity Games with Weights

    Parity Games with Weights by Sven Schewe, Alexander Weinert, Martin Zimmermann

    Published 2019-08-01
    Get full text
    Article
  4. 4
    Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free

    Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free by Daniel Neider, Alexander Weinert, Martin Zimmermann

    Published 2019-09-01
    Get full text
    Article
  5. 5
    RCE: An Integration Environment for Engineering and Science

    RCE: An Integration Environment for Engineering and Science by Brigitte Boden, Jan Flink, Niklas Först, Robert Mischke, Kathrin Schaffert, Alexander Weinert, Annika Wohlan, Andreas Schreiber

    Published 2021-07-01
    Get full text
    Article

Search Tools: