Automata

Results: 1989



#Item
31Limited Automata and Context-Free Languages Giovanni Pighizzini Andrea Pisoni Dipartimento di Informatica

Limited Automata and Context-Free Languages Giovanni Pighizzini Andrea Pisoni Dipartimento di Informatica

Add to Reading List

Source URL: pighizzini.di.unimi.it

Language: English - Date: 2013-11-29 15:45:14
    32SAMPLED SEMANTICS OF TIMED AUTOMATA PAROSH AZIZ ABDULLA, PAVEL KRCAL, AND WANG YI Department of Information Technology, Uppsala University, Sweden e-mail address : Department of Information Technology, Up

    SAMPLED SEMANTICS OF TIMED AUTOMATA PAROSH AZIZ ABDULLA, PAVEL KRCAL, AND WANG YI Department of Information Technology, Uppsala University, Sweden e-mail address : Department of Information Technology, Up

    Add to Reading List

    Source URL: user.it.uu.se

    Language: English - Date: 2010-08-07 21:45:25
      33Cellular Automata in Complex Matter

      Cellular Automata in Complex Matter

      Add to Reading List

      Source URL: wpmedia.wolfram.com

      Language: English - Date: 2018-03-14 11:53:25
        34Non-termination of String and Cycle Rewriting by Automata Hans Zantema and Alexander Fedotov Eindhoven, Nijmegen The Netherlands

        Non-termination of String and Cycle Rewriting by Automata Hans Zantema and Alexander Fedotov Eindhoven, Nijmegen The Netherlands

        Add to Reading List

        Source URL: cl-informatik.uibk.ac.at

        Language: English - Date: 2016-09-11 10:17:32
          35Multi-Objective Parameter Fitting in Parametric Probabilistic Hybrid Automata — Learning to Mine and Exploit PAC Formal Models — Martin Fränzle1 joint work with

          Multi-Objective Parameter Fitting in Parametric Probabilistic Hybrid Automata — Learning to Mine and Exploit PAC Formal Models — Martin Fränzle1 joint work with

          Add to Reading List

          Source URL: www.cse.iitb.ac.in

          Language: English - Date: 2016-02-25 04:01:29
            36Two-Way Automata Making Choices Only at the Endmarkers Viliam Geffert Bruno Guillon

            Two-Way Automata Making Choices Only at the Endmarkers Viliam Geffert Bruno Guillon

            Add to Reading List

            Source URL: pighizzini.di.unimi.it

            Language: English - Date: 2012-03-07 06:47:26
              37Why Liveness for Timed Automata Is Hard, and What We Can Do About It∗ Frédéric Herbreteau1 , B. Srivathsan2 , Thanh-Tung Tran3 , and Igor Walukiewicz4 1 2

              Why Liveness for Timed Automata Is Hard, and What We Can Do About It∗ Frédéric Herbreteau1 , B. Srivathsan2 , Thanh-Tung Tran3 , and Igor Walukiewicz4 1 2

              Add to Reading List

              Source URL: drops.dagstuhl.de

              Language: English - Date: 2016-12-08 09:49:05
                38Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata ABSTRACT Extended Linear Duration Invariants (ELDIs), an important subset of Duration Calculus, extends well-studied Linear Dur

                Model Checking Continuous-time Duration Calculus Against Bounded Behaviour of Timed Automata ABSTRACT Extended Linear Duration Invariants (ELDIs), an important subset of Duration Calculus, extends well-studied Linear Dur

                Add to Reading List

                Source URL: user.it.uu.se

                Language: English - Date: 2017-12-22 10:05:56
                  39Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3

                  Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3

                  Add to Reading List

                  Source URL: people.rennes.inria.fr

                  Language: English - Date: 2016-01-18 08:43:29
                    40Timed automata A determinization procedure The abstract procedure applied

                    Timed automata A determinization procedure The abstract procedure applied

                    Add to Reading List

                    Source URL: people.rennes.inria.fr

                    Language: English - Date: 2012-09-28 09:53:23