Automata

Results: 1989



#Item
121

Robust Reachability in Timed Automata and Games: A Game-based Approach I Patricia Bouyera , Nicolas Markeya , Ocan Sankurb a LSV, CNRS & ENS Cachan, Cachan, France.

Add to Reading List

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

- Date: 2014-08-25 11:21:22
    122

    Monadic Quantifiers Recognized by Deterministic Pushdown Automata Makoto Kanazawa National Institute of Informatics, Tokyo, Japan Abstract

    Add to Reading List

    Source URL: www.illc.uva.nl

    - Date: 2013-12-13 13:11:15
      123

      The Hanoi Omega-Automata Format Tomáš Babiak1 František Blahoudek1 Alexandre Duret-Lutz2 Joachim Klein3 Jan Kˇretínský5 David Müller3 David Parker4 Jan Strejˇcek1 1

      Add to Reading List

      Source URL: www.lrde.epita.fr

      - Date: 2015-07-23 17:57:30
        124

        Robust Controller Synthesis in Timed Automata Ocan Sankur1 , Patricia Bouyer1 , Nicolas Markey1 , Pierre-Alain Reynier2 1 2

        Add to Reading List

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

        - Date: 2013-06-19 03:54:44
          125

          MIA 2.0: Richer Interface Automata with Optimistic and Pessimistic Compatibility Gerald Lüttgen Software Technologies Research Group University of Bamberg, Germany (Joint work with Walter Vogler, University of Augs

          Add to Reading List

          Source URL: www.ips.tu-braunschweig.de

          - Date: 2013-08-13 02:39:12
            126

            Bayesian Network Automata for Modelling Unbounded Structures James Henderson Department of Computer Science University of Geneva Geneva, Switzerland

            Add to Reading List

            Source URL: aclweb.org

            - Date: 2011-09-20 12:01:49
              127

              Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France

              Add to Reading List

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

              - Date: 2012-09-14 10:37:26
                128

                Modelling and Analysis of Markov Reward Automata (extended version) Dennis Guck1 , Mark Timmer1 , Hassan Hatefi2 , Enno Ruijters1 and Mari¨elle Stoelinga1 1 2

                Add to Reading List

                Source URL: eprints.eemcs.utwente.nl

                - Date: 2014-09-16 03:37:28
                  129

                  Modal Interface Automata Gerald Lüttgen Universität Bamberg TCS 2012 Amsterdam

                  Add to Reading List

                  Source URL: www.ips.tu-braunschweig.de

                  - Date: 2013-08-13 02:39:13
                    130

                    Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2016-10-03 06:41:06
                      UPDATE