strix.model.in.tum.de

Preview meta tags from the strix.model.in.tum.de website.

Linked Hostnames

8

Search Engine Appearance

Google

https://strix.model.in.tum.de/

Strix

Strix is a new tool for reactive LTL synthesis combining a direct translation of LTL formulas into deterministic parity automata (DPA) and an efficient, multi-threaded explicit state solver for parity games.



Bing

Strix

https://strix.model.in.tum.de/

Strix is a new tool for reactive LTL synthesis combining a direct translation of LTL formulas into deterministic parity automata (DPA) and an efficient, multi-threaded explicit state solver for parity games.



DuckDuckGo

https://strix.model.in.tum.de/

Strix

Strix is a new tool for reactive LTL synthesis combining a direct translation of LTL formulas into deterministic parity automata (DPA) and an efficient, multi-threaded explicit state solver for parity games.

  • General Meta Tags

    6
    • title
      Strix | Strix is a new tool for reactive LTL synthesis combining a direct translation of LTL formulas into deterministic parity automata (DPA) and an efficient, multi-threaded explicit state solver for parity games.
    • charset
      UTF-8
    • X-UA-Compatible
      IE=edge
    • viewport
      width=device-width, initial-scale=1
    • generator
      Jekyll v3.9.0

  • Open Graph Meta Tags

    5
    • og:title
      Strix
    • US country flagog:locale
      en_US
    • og:description
      Strix is a new tool for reactive LTL synthesis combining a direct translation of LTL formulas into deterministic parity automata (DPA) and an efficient, multi-threaded explicit state solver for parity games.
    • og:url
      https://strix.model.in.tum.de/
    • og:site_name
      Strix

  • Link Tags

    2
    • canonical
      https://strix.model.in.tum.de/
    • stylesheet
      /assets/css/style.css?v=4c8e52d7a240139298a77738a09d073b70472792

Emails

2

Links

19