Showing 161 - 180 results of 333 for search '"Automata theory"', query time: 0.12s Refine Results
  1. 161
    Cost Preserving Bisimulations for Probabilistic Automata

    Cost Preserving Bisimulations for Probabilistic Automata by Andrea Turrini, Holger Hermanns

    Published 2014-12-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  2. 162
    Logics with rigidly guarded data tests

    Logics with rigidly guarded data tests by Gabriele Puppis, Thomas Colcombet, Clemens Ley

    Published 2015-09-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  3. 163
    Computability of Data-Word Transductions over Different Data Domains

    Computability of Data-Word Transductions over Different Data Domains by Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier

    Published 2022-07-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  4. 164
    Comparator automata in quantitative verification

    Comparator automata in quantitative verification by Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

    Published 2022-07-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  5. 165
    Reachability Problem for Weak Multi-Pushdown Automata

    Reachability Problem for Weak Multi-Pushdown Automata by Wojciech Czerwiński, Piotr Hofman, SŁawomir Lasota

    Published 2013-09-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  6. 166
    Building Specifications in the Event-B Institution

    Building Specifications in the Event-B Institution by Marie Farrell, Rosemary Monahan, James F. Power

    Published 2022-11-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  7. 167
    Exact and Approximate Determinization of Discounted-Sum Automata

    Exact and Approximate Determinization of Discounted-Sum Automata by Udi Boker, Thomas A. Henzinger

    Published 2014-02-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  8. 168
    The Complexity of Flat Freeze LTL

    The Complexity of Flat Freeze LTL by Benedikt Bollig, Karin Quaas, Arnaud Sangnier

    Published 2019-09-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  9. 169
    Inferring Symbolic Automata

    Inferring Symbolic Automata by Dana Fisman, Hadar Frenkel, Sandra Zilles

    Published 2023-04-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  10. 170
    The Big-O Problem

    The Big-O Problem by Dmitry Chistikov, Stefan Kiefer, Andrzej S. Murawski, David Purser

    Published 2022-03-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  11. 171
    A Finite Axiomatisation of Finite-State Automata Using String Diagrams

    A Finite Axiomatisation of Finite-State Automata Using String Diagrams by Robin Piedeleu, Fabio Zanasi

    Published 2023-02-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  12. 172
    Continuity of Functional Transducers: A Profinite Study of Rational Functions

    Continuity of Functional Transducers: A Profinite Study of Rational Functions by Michaël Cadilhac, Olivier Carton, Charles Paperman

    Published 2020-02-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  13. 173
    On the Complexity of Equivalence and Minimisation for Q-weighted Automata

    On the Complexity of Equivalence and Minimisation for Q-weighted Automata by Stefan Kiefer, Andrzej Murawski, Joel Ouaknine, Bjoern Wachter, James Worrell

    Published 2013-03-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  14. 174
    Controlling a population

    Controlling a population by Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Amit Godbole

    Published 2019-07-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  15. 175
    New results on classical and quantum counter automata

    New results on classical and quantum counter automata by Masaki Nakanishi, Abuzer Yakaryılmaz, Aida Gainutdinova

    Published 2019-09-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  16. 176
    A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra

    A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra by Mikołaj Bojańczyk, Bartek Klin

    Published 2019-11-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  17. 177
    Synchronizability of Communicating Finite State Machines is not Decidable

    Synchronizability of Communicating Finite State Machines is not Decidable by Alain Finkel, Etienne Lozes

    Published 2023-12-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  18. 178
    Antisquares and Critical Exponents

    Antisquares and Critical Exponents by Aseem Baranwal, James Currie, Lucas Mol, Pascal Ochem, Narad Rampersad, Jeffrey Shallit

    Published 2023-09-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  19. 179
    Families of DFAs as Acceptors of $\omega$-Regular Languages

    Families of DFAs as Acceptors of $\omega$-Regular Languages by Dana Angluin, Udi Boker, Dana Fisman

    Published 2018-02-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  20. 180
    A Recursive Approach to Solving Parity Games in Quasipolynomial Time

    A Recursive Approach to Solving Parity Games in Quasipolynomial Time by Karoliina Lehtinen, Paweł Parys, Sven Schewe, Dominik Wojtczak

    Published 2022-01-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article

Search Tools: