Search results for "Omega automata"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo	GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic.	TACAS	2008	DBLP DOI BibTeX RDF
2	Klaus Schneider, Dirk W. Hoffmann	A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata.	TPHOLs	1999	DBLP DOI BibTeX RDF
2	Kousha Etessami	Stutter-Invariant Languages, omega-Automata, and Temporal Logic.	CAV	1999	DBLP DOI BibTeX RDF
2	Christof Löding	Optimal Bounds for Transformations of omega-Automata.	FSTTCS	1999	DBLP DOI BibTeX RDF
2	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
2	Shmuel Safra	On the Complexity of omega-Automata	FOCS	1988	DBLP DOI BibTeX RDF	Buchi automata, complexity, decision procedures, deterministic automata, omega -automata
1	Hrishikesh Karmarkar, Supratik Chakraborty	Determinization of $\omega$-automata unified	CoRR	2011	DBLP BibTeX RDF
1	Ruediger Ehlers	Small witnesses, accepting lassos and winning strategies in omega-automata and games	CoRR	2011	DBLP BibTeX RDF
1	Rüdiger Ehlers	Short Witnesses and Accepting Lassos in omega-Automata.	LATA	2010	DBLP DOI BibTeX RDF
1	Christel Baier, Nathalie Bertrand, Marcus Größer	The Effect of Tossing Coins in Omega-Automata.	CONCUR	2009	DBLP DOI BibTeX RDF
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan	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
1	Yang Cai, Ting Zhang, Haifeng Luo	An Improved Lower Bound for the Complementation of Rabin Automata.	LICS	2009	DBLP DOI BibTeX RDF
1	Qiqi Yan	Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique.	Logical Methods in Computer Science	2008	DBLP DOI BibTeX RDF
1	Qiqi Yan	Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique	CoRR	2008	DBLP BibTeX RDF
1	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)
1	Christian Dax, Jochen Eisinger, Felix Klaedtke	Mechanizing the Powerset Construction for Restricted Classes of omega -Automata.	ATVA	2007	DBLP DOI BibTeX RDF
1	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
1	Joachim Klein, 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
1	Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan	GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.	TACAS	2007	DBLP DOI BibTeX RDF
1	Yunfeng Tao	Infinity problems and countability problems for omega-automata.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
1	Joachim Klein, Christel Baier	Experiments with deterministic omega-automata for formulas of linear temporal logic.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Shmuel Safra	Exponential Determinization for omega-Automata with a Strong Fairness Acceptance Condition.	SIAM J. Comput.	2006	DBLP DOI BibTeX RDF
1	Qiqi Yan	Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique.	ICALP	2006	DBLP DOI BibTeX RDF
1	Carsten Fritz	Simulation-based simplification of omega-automata.		2005	RDF
1	Joachim Klein, Christel Baier	Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.	CIAA	2005	DBLP DOI BibTeX RDF
1	Tobias Schüle, Klaus Schneider	Bounded model checking of infinite state systems: exploiting the automata hierarchy.	MEMOCODE	2004	DBLP DOI BibTeX RDF
1	Yih-Kai Lin, Hsu-Chun Yen	An /spl omega/-automata approach to the representation of bilevel images.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2003	DBLP DOI BibTeX RDF
1	Christof Löding	Efficient minimization of deterministic weak omega-automata.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
1	Kamala Krithivasan, K. Sharda	Fuzzy omega-automata.	Inf. Sci.	2001	DBLP DOI BibTeX RDF
1	Berndt Farwer	omega-Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
1	Yih-Kai Lin, Hsu-Chun Yen	An omega-automata approach to the compression of bi-level images.	Electr. Notes Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
1	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
1	Klaus Schneider	Yet another Look at the LTL Model Checking.	CHARME	1999	DBLP DOI BibTeX RDF
1	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
1	Sriram C. Krishnan, Anuj Puri, Robert K. Brayton	Structural Complexity of Omega-Automata.	STACS	1995	DBLP DOI BibTeX RDF
1	Serdar Tasiran, Ramin Hojati, Robert K. Brayton	Language containment of non-deterministic omega-automata.	CHARME	1995	DBLP DOI BibTeX RDF
1	Bertrand Le Saëc, Igor Litovsky	On the Minimization Prolem for Omega-Automata.	MFCS	1994	DBLP DOI BibTeX RDF
1	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
1	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
1	Shmuel Safra	Exponential Determinization for omega-Automata with Strong-Fairness Acceptance Condition (Extended Abstract)	STOC	1992	DBLP DOI BibTeX RDF
1	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
1	J. G. Thistle, W. Murray Wonham	Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.	CSL	1991	DBLP DOI BibTeX RDF
1	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
1	E. Allen Emerson, Charanjit S. Jutla	On Simultaneously Determinizing and Complementing omega-Automata (Extended Abstract)	LICS	1989	DBLP DOI BibTeX RDF
1	Shmuel Safra, Moshe Y. Vardi	On omega-Automata and Temporal Logic (Preliminary Report)	STOC	1989	DBLP DOI BibTeX RDF
1	Peter A. Lindsay	On Alternating omega-Automata.	J. Comput. Syst. Sci.	1988	DBLP DOI BibTeX RDF
1	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
1	Ahmed Saoudi	Infinitary Tree Languages Recognized by omega-Automata.	Inf. Process. Lett.	1984	DBLP DOI BibTeX RDF
1	Wolfgang Thomas	A Combinatorial Approach to the Theory of omega-Automata	Information and Control	1981	DBLP DOI BibTeX RDF
1	Marek Karpinski	Multiplicity Functions on Omega-Automata.	MFCS	1976	DBLP DOI BibTeX RDF
1	Lawrence H. Landweber	Decision Problems for omega-Automata.	Mathematical Systems Theory	1969	DBLP DOI BibTeX RDF