Automata

Results: 1989



#Item
501

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

Add to Reading List

Source URL: ocw.mit.edu

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

    LOGIC & AUTOMATA — HOMEWORK 1 In all question, assume that the finite alphabet is Σ = {a, b}. 1. Write a first-order sentence that defines the language (a + b)+ · a (1 mark)

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    - Date: 2010-09-30 11:29:32
      503

      Errata to Grammatical Inference: Learning Automata and Grammars Colin de la Higuera LINA, University of Nantes April 26, 2011

      Add to Reading List

      Source URL: pagesperso.lina.univ-nantes.fr

      Language: English - Date: 2011-04-26 04:30:46
        504

        Verification of Requirement Specification Using Counter Automata K Vasanta Lakshmi and K V Raghavan Indian Institute of Science, Bangalore

        Add to Reading List

        Source URL: www.cmi.ac.in

        Language: English - Date: 2011-01-29 03:36:34
          505

          On the Complexity of k-Piecewise Testability and the Depth of Automata Tom´ aˇs Masopust ? and Micha¨el Thomazo ?? TU Dresden, Germany

          Add to Reading List

          Source URL: ddll.inf.tu-dresden.de

          Language: English - Date: 2015-05-15 05:03:52
            506

            Branching-Time Model Checking of One-Counter Processes and Timed Automata ⋆ Stefan G¨oller1 and Markus Lohrey2,⋆⋆ 1 Universit¨at Bremen, Fachbereich Mathematik und Informatik, Germany

            Add to Reading List

            Source URL: www.informatik.uni-bremen.de

            Language: English - Date: 2013-06-18 14:25:02
              507

              Bisimulation equivalence and regularity for real-time one-counter automata Stanislav B¨ohm1 Technical University of Ostrava, FEI, 17. listopadu, 70833 Ostrava, Czech Republic Stefan G¨oller

              Add to Reading List

              Source URL: www.informatik.uni-bremen.de

              Language: English - Date: 2014-06-19 07:27:49
                508

                A game approach to determinize timed automata Nathalie Bertrand1 , Am´elie Stainer1 , Thierry J´eron1 , Moez Krichen2 1 2

                Add to Reading List

                Source URL: www.cmi.ac.in

                Language: English - Date: 2010-12-23 06:33:03
                  509

                  Motivation Hybrid automata and control Conflict-tolerant specifications Cruise Control Example Verification for Rectangular Auto Conflict-Tolerant Specifications for Hybrid Systems Deepak D’Souza Department of Compute

                  Add to Reading List

                  Source URL: www.cmi.ac.in

                  Language: English - Date: 2011-01-31 10:03:41
                    510

                    Automata Based Interfaces for Control and Scheduling Gera Weiss and Rajeev Alur University of Pennsylvania {gera,alur}@seas.upenn.edu

                    Add to Reading List

                    Source URL: www.cis.upenn.edu

                    Language: English - Date: 2006-12-21 08:52:36
                      UPDATE