The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Buchi-automata (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-1997 (16) 1999-2002 (16) 2003-2006 (21) 2007-2009 (24) 2010 (15) 2011-2012 (19) 2013-2014 (16) 2015-2016 (23) 2017-2018 (20) 2019-2020 (28) 2021 (15) 2022-2023 (19) 2024 (1)
Publication types (Num. hits)
article(86) data(2) incollection(1) inproceedings(141) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(43) CAV(8) CONCUR(8) Theor. Comput. Sci.(7) ATVA(5) TACAS(5) CAV (2)(4) FoSSaCS(4) FSTTCS(4) Fundam. Informaticae(4) ICALP(4) Int. J. Softw. Tools Technol. ...(4) LICS(4) SPIN(4) CIAA(3) DLT(3) More (+10 of total 103)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 48 occurrences of 43 keywords

Results
Found 233 publication records. Showing 233 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
147Sriram C. Krishnan, Anuj Puri, Robert K. Brayton Deterministic w Automata vis-a-vis Deterministic Buchi Automata. Search on Bibsonomy ISAAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
97Orna Kupferman, Moshe Y. Vardi Weak Alternating Automata Are Not That Weak. Search on Bibsonomy ISTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
58Ichiro Suzuki Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
50Yong Li 0031, Sven Schewe, Moshe Y. Vardi Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
50Yong Li 0031, Sven Schewe, Moshe Y. Vardi Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata. Search on Bibsonomy CONCUR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
50Carsten Fritz Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata. Search on Bibsonomy CIAA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
47Souheib Baarir, Alexandre Duret-Lutz Emptiness Check of Powerset Buchi Automata using Inclusion Tests. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Bowen Alpern, Fred B. Schneider Verifying Temporal Properties without Temporal Logic. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
43Yih-Kuen Tsay, Ming-Hsien Tsai 0001, Jinn-Shu Chang, Yi-Wen Chang Büchi Store: An Open Repository of Büchi Automata. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
43Udi Boker, Orna Kupferman The Quest for a Tight Translation of Büchi to co-Büchi Automata. Search on Bibsonomy Fields of Logic and Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
41Mihalis Yannakakis, Kousha Etessami Checking LTL Properties of Recursive Markov Chains. Search on Bibsonomy QEST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Christel Baier, Marcus Größer Recognizing omega-regular Languages with Probabilistic Automata. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Abdelaziz Fellah Time and alternation: an automata based framework to software model checking. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software verification and testing, timed alternating and buchi automata, timed temporal propositional logic, software model checking
36Zhe Chen 0011, Gilles Motet Separating Functional and Dependability Requirements of Embedded Systems. Search on Bibsonomy CIT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF buchi automata, model monitoring, model checking, reliability, dependability, safety, requirements evolution
36Nils Klarlund Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF complementation omega -automata, languages of infinite words, Buchi automata, Streett automata, optimal complementation, temporal logic, finite-state automata, ETLs, graph-theoretic approach
36Shmuel Safra On the Complexity of omega-Automata Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Buchi automata, complexity, decision procedures, deterministic automata, omega -automata
35Fabio Massacci, Ida Sri Rejeki Siahaan Simulating midlet's security claims with automata modulo theory. Search on Bibsonomy PLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security policy, automata, mobile code
35Sriram C. Krishnan, Anuj Puri, Robert K. Brayton Structural Complexity of Omega-Automata. Search on Bibsonomy STACS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
32Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
32Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková Sky Is Not the Limit - Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation. Search on Bibsonomy TACAS (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
32Simon Jantsch, David Müller 0001, Christel Baier, Joachim Klein 0001 From LTL to unambiguous Büchi automata via disambiguation of alternating automata. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
32Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
32Simon Jantsch, David Müller 0001, Christel Baier, Joachim Klein 0001 From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
32Simon Jantsch, David Müller 0001, Christel Baier, Joachim Klein 0001 From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. Search on Bibsonomy FM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
32Simon Jantsch, Michael Norrish Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata. Search on Bibsonomy ITP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
32Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
32Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
32Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki Fast Translation from LTL to Büchi Automata via Non-transition-based Automata. Search on Bibsonomy ICFEM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
32Cong Tian, Zhenhua Duan, Mengfei Yang Deternimization of Büchi Automata as Partitioned Automata. Search on Bibsonomy COCOON The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
32Sven Schewe Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
32Mohammad Izadi, Marcello M. Bonsangue Recasting Constraint Automata into Büchi Automata. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Leonid Libkin, Cristina Sirangelo Reasoning about XML with Temporal Logics and Automata. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Query automata, XML, static analysis, temporal logics
31A. Prasad Sistla Parametrized Verification of Linear Networks Using Automata as Invariants. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Marek Jankola, Jan Strejcek Tighter Construction of Tight Büchi Automata. Search on Bibsonomy FoSSaCS (1) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
25Christophe Stammet, Ulrich Ultes-Nitsche, Andreas Fischer Universality of Büchi Automata: Analysis With Graph Neural Networks. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Vojtech Havlena, Ondrej Lengál, Yong Li 0031, Barbora Smahlíková, Andrea Turrini Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Vojtech Havlena, Ondrej Lengál, Yong Li 0031, Barbora Smahlíková, Andrea Turrini Modular Mix-and-Match Complementation of Büchi Automata. Search on Bibsonomy TACAS (1) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract). Search on Bibsonomy IJCAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove Half-Positional Objectives Recognized by Deterministic Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Christophe Stammet, Prisca Dotti, Ulrich Ultes-Nitsche, Andreas Fischer Analyzing Büchi Automata with Graph Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001 Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková Complementing Büchi Automata with Ranker (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001 Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Search on Bibsonomy 2022   DOI  RDF
25Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001 Artifact for the CAV'22 paper "Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition". Search on Bibsonomy 2022   DOI  RDF
25Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková Complementing Büchi Automata with Ranker. Search on Bibsonomy CAV (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Yong Li 0031, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang 0001 Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition. Search on Bibsonomy CAV (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25León Bohn, Christof Löding Passive Learning of Deterministic Büchi Automata by Combinations of DFAs. Search on Bibsonomy ICALP The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove Half-Positional Objectives Recognized by Deterministic Büchi Automata. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics. Search on Bibsonomy CONCUR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Denis Kuperberg, Laureline Pinault, Damien Pous Coinductive Algorithms for Büchi Automata. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Henning Urbat, Daniel Hausmann 0001, Stefan Milius, Lutz Schröder Nominal Büchi Automata with Name Allocation. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
25Reed Oei, Dun Ma, Christian Schulz 0013, Philipp Hieronymi Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
25Mingyu Cai, Shaoping Xiao, Zhen Kan Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
25Yong Li 0031, Yih-Kuen Tsay, Moshe Y. Vardi Congruence Relations for Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
25Wim H. Hesselink UNITY and Büchi automata. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Yong Li 0031, Yu-Fang Chen 0001, Lijun Zhang 0001, Depeng Liu A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Search on Bibsonomy Inf. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Yong Li 0031, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang 0001 Congruence Relations for Büchi Automata. Search on Bibsonomy FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Yih-Kuen Tsay, Moshe Y. Vardi From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle. Search on Bibsonomy Model Checking, Synthesis, and Learning The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Vojtech Havlena, Ondrej Lengál Reducing (To) the Ranks: Efficient Rank-Based Büchi Automata Complementation. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Henning Urbat, Daniel Hausmann 0001, Stefan Milius, Lutz Schröder Nominal Büchi Automata with Name Allocation. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato Inclusion Testing of Büchi Automata Based on Well-Quasiorders. Search on Bibsonomy CONCUR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Anton Pirogov Determinization and ambiguity of classical and probabilistic Büchi automata. Search on Bibsonomy 2021   RDF
25Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata. Search on Bibsonomy IEEE Control. Syst. Lett. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Amar Isli Buchi automata augmented with spatial constraints: simulating an alternating with a nondeterministic and deciding the emptiness problem for the latter. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Simon Wimmer 0001, Frédéric Herbreteau, Jaco van de Pol Certifying Emptiness of Timed Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Yong Li 0031, Andrea Turrini, Xuechao Sun, Lijun Zhang 0001 Proving Non-Inclusion of Büchi Automata based on Monte Carlo Sampling. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Vojtech Havlena, Ondrej Lengál Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Christof Löding, Anton Pirogov Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Eleni Mandrali A translation of weighted LTL formulas to weighted Büchi automata over ω-valuation monoids. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Frantisek Blahoudek, Alexandre Duret-Lutz, Jan Strejcek Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. Search on Bibsonomy CAV (2) The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Torsten Liebke Büchi-Automata guided Partial Order Reduction for LTL. Search on Bibsonomy PNSE@Petri Nets The full citation details ... 2020 DBLP  BibTeX  RDF
25Yong Li 0031, Andrea Turrini, Xuechao Sun, Lijun Zhang 0001 Proving Non-inclusion of Büchi Automata Based on Monte Carlo Sampling. Search on Bibsonomy ATVA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Christof Löding, Anton Pirogov Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata. Search on Bibsonomy FoSSaCS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Julian Brunner 0001 Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata. Search on Bibsonomy IFM The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Dana Angluin, Timos Antonopoulos, Dana Fisman Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership Queries. Search on Bibsonomy CSL The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Simon Wimmer 0001, Frédéric Herbreteau, Jaco van de Pol Certifying Emptiness of Timed Büchi Automata. Search on Bibsonomy FORMATS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. Search on Bibsonomy Int. J. Comput. Vis. Robotics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Yu-Fang Chen 0001, Vojtech Havlena, Ondrej Lengál Simulations in Rank-Based Büchi Automata Complementation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
25Christof Löding, Anton Pirogov New Optimizations and Heuristics for Determinization of Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
25Jaime Ramos Büchi automata for distributed temporal logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
25Christof Löding, Anton Pirogov Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
25Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Christof Löding, Anton Pirogov Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp. Search on Bibsonomy ICALP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Christof Löding, Anton Pirogov New Optimizations and Heuristics for Determinization of Büchi Automata. Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Yu-Fang Chen 0001, Vojtech Havlena, Ondrej Lengál Simulations in Rank-Based Büchi Automata Complementation. Search on Bibsonomy APLAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Denis Kuperberg, Laureline Pinault, Damien Pous Coinductive Algorithms for Büchi Automata. Search on Bibsonomy DLT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Milka Hutagalung Buffered Simulation for Büchi Automata. (PDF / PS) Search on Bibsonomy 2019   RDF
25Joachim Klein 0001, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller 0001 Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Moritz Lichter, Gert Smolka Constructive Analysis of S1S and Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
25Qisheng Wang, Mingsheng Ying Quantum Büchi Automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
25Christof Löding, Anton Pirogov On finitely ambiguous Büchi automata. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
25Joël D. Allred, Ulrich Ultes-Nitsche A Simple and Optimal Complementation Algorithm for Büchi Automata. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Alexander Rabinovich Complementation of Finitely Ambiguous Büchi Automata. Search on Bibsonomy DLT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Christof Löding, Anton Pirogov On Finitely Ambiguous Büchi Automata. Search on Bibsonomy DLT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Yong Li 0031, Andrea Turrini, Yu-Fang Chen 0001, Lijun Zhang 0001 Learning Büchi Automata and Its Applications. Search on Bibsonomy SETSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Yong Li 0031, Andrea Turrini, Lijun Zhang 0001, Sven Schewe Learning to Complement Büchi Automata. Search on Bibsonomy VMCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Weiwei Li, Shuanglong Kan, Zhiqiu Huang A Better Translation From LTL to Transition-Based Generalized Büchi Automata. Search on Bibsonomy IEEE Access The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Xiujuan Wei, Yongming Li 0001 Fuzzy alternating Büchi automata over distributive lattices. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud Variations on parallel explicit emptiness checks for generalized Büchi automata. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 233 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license