Search results for "omega-automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Kousha Etessami	Stutter-Invariant Languages, omega-Automata, and Temporal Logic.	CAV	1999	DBLP DOI BibTeX RDF
63	Christof Löding	Optimal Bounds for Transformations of omega-Automata.	FSTTCS	1999	DBLP DOI BibTeX RDF
47	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
47	Shmuel Safra	On the Complexity of omega-Automata	FOCS	1988	DBLP DOI BibTeX RDF	Buchi automata, complexity, decision procedures, deterministic automata, omega -automata
46	Yang Cai 0001, Ting Zhang, Haifeng Luo	An Improved Lower Bound for the Complementation of Rabin Automata.	LICS	2009	DBLP DOI BibTeX RDF
42	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan	GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.	TACAS	2007	DBLP DOI BibTeX RDF
42	John G. Thistle, Walter Murray Wonham	Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.	CSL	1991	DBLP DOI BibTeX RDF
35	Vincenzo Ciancia, Yde Venema	Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages.	CALCO	2019	DBLP DOI BibTeX RDF
35	Zhe Chen	On the Generative Power of Omega-Grammars and Omega-Automata.	CoRR	2013	DBLP BibTeX RDF
33	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Wen-Chin Chan, Chi-Jian Luo	GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic.	TACAS	2008	DBLP DOI BibTeX RDF
33	Klaus Schneider 0001, Dirk W. Hoffmann	A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata.	TPHOLs	1999	DBLP DOI BibTeX RDF
27	Qiqi Yan	Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique	CoRR	2008	DBLP BibTeX RDF
27	Qiqi Yan	Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique.	Log. Methods Comput. Sci.	2008	DBLP DOI BibTeX RDF
27	Qiqi Yan	Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique.	ICALP (2)	2006	DBLP DOI BibTeX RDF
26	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001	On the expressiveness and complexity of randomization in finite state monitors.	J. ACM	2009	DBLP DOI BibTeX RDF	topology, randomization, runtime verification, probabilistic automata, Omega automata
26	Ben C. Moszkowski	A Complete Axiomatization of Interval Temporal Logic with Infinite Time.	LICS	2000	DBLP DOI BibTeX RDF	complete axiom systems, Buechi-automata, temporal logic, regular expressions, finite-state automata, omega-automata
26	Doron Drusinsky, David Harel	On the Power of Bounded Concurrency I: Finite Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata
26	William I. Gasarch, Carl H. Smith	Learning via Queries.	J. ACM	1992	DBLP DOI BibTeX RDF	learning via a teacher, learning by example, omega automata
26	Costas Courcoubetis, Mihalis Yannakakis	Verifying Temporal Properties of Finite-State Probabilistic Programs	FOCS	1988	DBLP DOI BibTeX RDF	finite-state probabilistic programs, concurrent programs, linear temporal logic, temporal properties, sequential programs, PSPACE, omega -automata
25	Tobias Schüle, Klaus Schneider 0001	Bounded model checking of infinite state systems: exploiting the automata hierarchy.	MEMOCODE	2004	DBLP DOI BibTeX RDF
21	Dana Angluin, Dana Fisman, Yaara Shoval	Polynomial Identification of omega-Automata.	CoRR	2022	DBLP DOI BibTeX RDF
21	Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek	Seminator: A Tool for Semi-Determinization of Omega-Automata.	LPAR	2017	DBLP DOI BibTeX RDF
21	Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu	Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation.	ATVA	2016	DBLP DOI BibTeX RDF
21	Christof Löding, Andreas Tollkötter	Transformation Between Regular Expressions and omega-Automata.	MFCS	2016	DBLP DOI BibTeX RDF
21	Souheib Baarir, Alexandre Duret-Lutz	SAT-Based Minimization of Deterministic \omega -Automata.	LPAR	2015	DBLP DOI BibTeX RDF
21	Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein 0001, Jan Kretínský, David Müller 0001, David Parker 0001, Jan Strejcek	The Hanoi Omega-Automata Format.	CAV (1)	2015	DBLP DOI BibTeX RDF
21	Ming-Hsien Tsai 0001, Yih-Kuen Tsay, Yu-Shiang Hwang	GOAL for Games, Omega-Automata, and Logics.	CAV	2013	DBLP DOI BibTeX RDF
21	Rüdiger Ehlers	Small witnesses, accepting lassos and winning strategies in omega-automata and games	CoRR	2011	DBLP BibTeX RDF
21	Hrishikesh Karmarkar, Supratik Chakraborty	Determinization of $\omega$-automata unified	CoRR	2011	DBLP BibTeX RDF
21	Rüdiger Ehlers	Short Witnesses and Accepting Lassos in omega-Automata.	LATA	2010	DBLP DOI BibTeX RDF
21	Christel Baier, Nathalie Bertrand 0001, Marcus Größer	The Effect of Tossing Coins in Omega-Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
21	Andreas Morgenstern, Klaus Schneider 0001, Sven Lamberti	Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction.	MBMV	2008	DBLP BibTeX RDF
21	Marc Segelken	Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models.	CAV	2007	DBLP DOI BibTeX RDF	automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking
21	Christian Dax, Jochen Eisinger, Felix Klaedtke	Mechanizing the Powerset Construction for Restricted Classes of omega -Automata.	ATVA	2007	DBLP DOI BibTeX RDF
21	Joachim Klein 0001, Christel Baier	On-the-Fly Stuttering in the Construction of Deterministic omega -Automata.	CIAA	2007	DBLP DOI BibTeX RDF	Rabin, ?-automaton, determinization, LTL, deterministic, stuttering
21	Yunfeng Tao	Infinity problems and countability problems for omega-automata.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
21	Joachim Klein 0001, Christel Baier	Experiments with deterministic omega-automata for formulas of linear temporal logic.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
21	Shmuel Safra	Exponential Determinization for omega-Automata with a Strong Fairness Acceptance Condition.	SIAM J. Comput.	2006	DBLP DOI BibTeX RDF
21	Joachim Klein 0001, Christel Baier	Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.	CIAA	2005	DBLP DOI BibTeX RDF
21	Carsten Fritz	Simulation-based simplification of omega-automata.		2005	RDF
21	Christof Löding	Efficient minimization of deterministic weak omega-automata.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
21	Kamala Krithivasan, K. Sharda	Fuzzy omega-automata.	Inf. Sci.	2001	DBLP DOI BibTeX RDF
21	Berndt Farwer	omega-Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
21	Yih-Kai Lin, Hsu-Chun Yen	An omega-automata approach to the compression of bi-level images.	CATS	2000	DBLP DOI BibTeX RDF
21	Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan	Testing Language Containment for omega-Automata Using BDD's	Inf. Comput.	1995	DBLP DOI BibTeX RDF
21	Serdar Tasiran, Ramin Hojati, Robert K. Brayton	Language containment of non-deterministic omega-automata.	CHARME	1995	DBLP DOI BibTeX RDF
21	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton	Structural Complexity of Omega-Automata.	STACS	1995	DBLP DOI BibTeX RDF
21	Bertrand Le Saëc, Igor Litovsky	On the Minimization Prolem for Omega-Automata.	MFCS	1994	DBLP DOI BibTeX RDF
21	Edmund M. Clarke, I. A. Draghicescu, Robert P. Kurshan	A Unified Approch for Showing Language Inclusion and Equivalence Between Various Types of omega-Automata.	Inf. Process. Lett.	1993	DBLP DOI BibTeX RDF
21	Shmuel Safra	Exponential Determinization for omega-Automata with Strong-Fairness Acceptance Condition (Extended Abstract)	STOC	1992	DBLP DOI BibTeX RDF
21	Edmund M. Clarke, Anca Browne, Robert P. Kurshan	A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.	CAAP	1990	DBLP DOI BibTeX RDF
21	E. Allen Emerson, Charanjit S. Jutla	On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract)	LICS	1989	DBLP DOI BibTeX RDF
21	Shmuel Safra, Moshe Y. Vardi	On omega-Automata and Temporal Logic (Preliminary Report)	STOC	1989	DBLP DOI BibTeX RDF
21	Peter A. Lindsay	On Alternating omega-Automata.	J. Comput. Syst. Sci.	1988	DBLP DOI BibTeX RDF
21	Ahmed Saoudi	Infinitary Tree Languages Recognized by omega-Automata.	Inf. Process. Lett.	1984	DBLP DOI BibTeX RDF
21	Wolfgang Thomas	A Combinatorial Approach to the Theory of omega-Automata	Inf. Control.	1981	DBLP DOI BibTeX RDF
21	Marek Karpinski	Multiplicity Functions on Omega-Automata.	MFCS	1976	DBLP DOI BibTeX RDF
21	Lawrence H. Landweber	Decision Problems for omega-Automata.	Math. Syst. Theory	1969	DBLP DOI BibTeX RDF
13	Rajeev Alur, Gera Weiss	RTComposer: a framework for real-time components with scheduling interfaces.	EMSOFT	2008	DBLP DOI BibTeX RDF	automata based scheduling, real time specification for java (RTSJ)
13	Klaus Schneider 0001	Yet another Look at the LTL Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF