Automata

Results: 1989



#Item
141

Extending Markov Automata with State and Action Rewards∗ Dennis Guck Mark Timmer Stefan Blom

Add to Reading List

Source URL: qapl14.inria.fr

- Date: 2014-04-30 05:46:42
    142

    Robust Weighted Timed Automata and Games Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Weighted timed automata extend timed automata with cost variables that can be used to model t

    Add to Reading List

    Source URL: www.lsv.ens-cachan.fr

    - Date: 2013-06-19 03:54:32
      143

      Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2012-03-07 10:57:44
        144

        The Hanoi Omega-Automata Format

        Add to Reading List

        Source URL: www.lrde.epita.fr

        - Date: 2015-07-21 18:44:43
          145

          Tight Bounds for Linkages in Planar Graphs. 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, Lecture Notes in Computer Science, Springer Verlag, 2011. Irrelevant Vertices for the Planar D

          Add to Reading List

          Source URL: users.uoa.gr

          - Date: 2014-06-11 17:30:28
            146

            A Journey from Cellular Automata and Kinetic Theory to Lattice Boltzmann Models Dominique d’Humi`eres Laboratoire de Physique Statistique, ´ Ecole

            Add to Reading List

            Source URL: www.math.u-psud.fr

            - Date: 2012-02-01 06:02:21
              147

              Probabilistic I/O Automata: Theories of Two Equivalences∗† Eugene W. Stark1 , Rance Cleaveland2‡ 2 Department of Computer Department of Computer Science

              Add to Reading List

              Source URL: bsd7.cs.sunysb.edu

              - Date: 2006-06-07 12:05:30
                148

                2011 我校师生论文被 EI 收录情况 （共计 412 篇） 1、Design of turning insert with three-dimensional complex groove using cellular automata Feng, X.M. (School of Mechanical and Power Engineering, Harbin Un

                Add to Reading List

                Source URL: lib.hrbust.edu.cn

                - Date: 2012-11-09 02:34:20
                  149

                  Automata-based Model Counting String Solver Abdulbaki Aydin, Lucas Bang, and Tevfik Bultan I. I NTRODUCTION

                  Add to Reading List

                  Source URL: gswc.cs.ucsb.edu

                  - Date: 2016-03-01 02:43:38
                    150

                    Factoring General Games using Propositional Automata Evan Cox, Eric Schkufza, Ryan Madsen and Michael R. Genesereth Stanford University, CA, USA Abstract In this paper we propose the design of a more robust General Game

                    Add to Reading List

                    Source URL: ggp.stanford.edu

                    - Date: 2009-05-10 02:17:04
                      UPDATE