Automata

Results: 1989



#Item
491

Feasible Automata for Two-Variable Logic with Successor on Data Words⋆ Ahmet Kara1, Thomas Schwentick1 , and Tony Tan2 1 Technical University of Dortmund

Add to Reading List

Source URL: alpha.uhasselt.be

Language: English - Date: 2013-09-27 07:35:34
    492

    Rabin-Mostowski index problem: a step beyond deterministic automata Alessandro Facchini, Filip Murlak, and Michał Skrzypczak University of Warsaw {facchini,fmurlak,mskrzypczak}@mimuw.edu.pl Abstract—For a given regul

    Add to Reading List

    Source URL: www.mimuw.edu.pl

    Language: English - Date: 2013-12-13 05:00:35
      493

      Graph Reachability and Pebble Automata over Infinite Alphabets Tony Tan Department of Computer Science Technion – Israel Institute of Technology Haifa 32000, Israel Email:

      Add to Reading List

      Source URL: alpha.uhasselt.be

      Language: English - Date: 2013-09-27 07:35:34
        494

        BRICS Basic Research in Computer Science BRICS RSHune & Sandholm: Using Automata in Control Synthesis — A Case Study Using Automata in Control Synthesis

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2000-09-12 08:22:13
          495

          BRICS Basic Research in Computer Science BRICS RSP. Bouyer: Timed Automata May Cause Some Troubles Timed Automata May Cause Some Troubles

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2002-08-13 09:27:12
            496

            6.045J Automata, Computability, and Complexity, Problem Set 1

            Add to Reading List

            Source URL: ocw.mit.edu

            Language: English - Date: 2015-05-24 22:10:44
              497

              Exploring Infinite State Spaces with Finite Automata Pierre Wolper Universit´ e de Li` ege

              Add to Reading List

              Source URL: www.cs.rice.edu

              Language: English - Date: 2001-11-16 12:56:27
                498

                Rabin-Mostowski index problem: a step beyond deterministic automata Alessandro Facchini, Filip Murlak, and Michał Skrzypczak University of Warsaw {facchini,fmurlak,mskrzypczak}@mimuw.edu.pl Abstract—For a given regul

                Add to Reading List

                Source URL: www.mimuw.edu.pl

                Language: English - Date: 2013-12-13 05:00:35
                  499

                  Automata-Theoretic Model Checking Revisited ⋆ Moshe Y. Vardi ⋆⋆ Rice University, Department of Computer Science, Houston, TX, U.S.A. Email:, URL: http://www.cs.rice.edu/ ∼ vardi Abstr

                  Add to Reading List

                  Source URL: www.cs.rice.edu

                  Language: English - Date: 2011-05-17 18:01:09
                    500

                    6.045J Automata, Computability, and Complexity, Problem Set 5

                    Add to Reading List

                    Source URL: ocw.mit.edu

                    Language: English - Date: 2015-05-24 22:10:44
                      UPDATE