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