Special

Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "News subtitle" with value "The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

    • NewsEntry (2018/01/20)  + (The main features of this release are algorithms for working with parity acceptance, new functions to convert to co-Büchi when possible, a new tool for LTL synthesis, and some speedup of our determinization algorithm.)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20subtitle/The-20main-20features-20of-20this-20release-20are-20algorithms-20for-20working-20with-20parity-20acceptance,-20new-20functions-20to-20convert-20to-20co-2DBüchi-20when-20possible,-20a-20new-20tool-20for-20LTL-20synthesis,-20and-20some-20speedup-20of-20our-20determinization-20algorithm."