Buchi

Results: 132



#Item
1Finite automata / Model checking / -automaton / Bchi automaton / Deterministic automaton / Muller automaton / Weak Bchi automaton

Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2015-10-21 13:25:41
2

¨ Solving Stochastic Buchi Games on Infinite Arenas with a Finite Attractor∗ Nathalie Bertrand

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2013-09-13 06:06:33
    3

    Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

    Add to Reading List

    Source URL: i12www.ira.uka.de

    Language: German - Date: 2014-01-23 09:48:02
      4

      Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

      Add to Reading List

      Source URL: i12www.ira.uka.de

      Language: German - Date: 2013-02-06 04:03:46
        5

        Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

        Add to Reading List

        Source URL: i12www.ira.uka.de

        Language: German - Date: 2014-01-23 09:47:58
          6

          Formale Systeme Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

          Add to Reading List

          Source URL: i12www.ira.uka.de

          Language: German - Date: 2012-01-26 11:31:35
            7

            MUSTERBRIEF SEPTEMBER 2014 ANKER TEPPICHBÖDEN von BÜCHI Boden Handel GmbH Teppichböden hatten in den letzten Jahrzehnten einen schweren Stand in Bemusterungen. Eigentlich zu unrecht, da sich auf dem Gebiet auch punkto

            Add to Reading List

            Source URL: www.baumuster.ch

            Language: German - Date: 2014-09-12 09:53:19
              8

              GW170814: OSSERVAZIONE DELLE ONDE GRAVITAZIONALI DALLA COALESCENZA DI DUE BUCHI NERI CON TRE RIVELATORI L’evento GW170814 è la quarta osservazione confermata di onde gravitazionali riportata dalle collaboraz

              Add to Reading List

              Source URL: public.virgo-gw.eu

              Language: Italian - Date: 2017-10-18 07:45:47
                9

                Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

                Add to Reading List

                Source URL: i12www.ira.uka.de

                Language: German - Date: 2014-01-31 07:17:00
                  10

                  Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

                  Add to Reading List

                  Source URL: i12www.ira.uka.de

                  Language: German - Date: 2014-01-31 07:16:57
                    UPDATE