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 "Sven recently completed his PhD at [https://www.uni-leipzig.de/ Leipzig University] where he considered weighted ω-automata. Weighted automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to [[Spot]].". 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 (2021/09/02)  + (Sven recently completed his PhD at [https: … Sven recently completed his PhD at [https://www.uni-leipzig.de/ Leipzig University] where he considered weighted ω-automata. Weighted automata are used to describe quantitative properties of systems. At LRDE, Sven will investigate quantitative model checking and contribute to [[Spot]].[Spot]].)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:News-20subtitle/Sven-20recently-20completed-20his-20PhD-20at-20-5Bhttps:-2F-2Fwww.uni-2Dleipzig.de-2F-20-20Leipzig-20University-5D-20where-20he-20considered-20weighted-20ω-2Dautomata.-20Weighted-20automata-20are-20used-20to-20describe-20quantitative-20properties-20of-20systems.-20At-20LRDE,-20Sven-20will-20investigate-20quantitative-20model-20checking-20and-20contribute-20to-20-5B-5BSpot-5D-5D."